.:. Browse > By laboratory > ASCOLA .:.

4 documents ordered by : Date Title first author name document type Submit date

Univalence for free Sozeau M. et al [hal-00786589 - version 3] (2013-03-21)

A Monadic Interpretation of Execution Levels and Exceptions for AOP Tabareau N. Modularity: AOSD'12, Allemagne (2012) [inria-00592132 - version 3]

Aspect Oriented Programming: a language for 2-categories Tabareau N. Rapport de recherche (2011) 30 [inria-00470400 - version 3]

How synchronization protects from noise. Tabareau N. et al PLoS Computational Biology 6, 1 (2010) e1000637 [inria-00460739 - version 1]