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

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

Univalence for free Sozeau M., Tabareau N. (08/02/2013) [hal-00786589 - version 3]

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

Aspect Oriented Programming: a language for 2-categories Tabareau N. N° RR-7527 (2011) [inria-00470400 - version 3]

How synchronization protects from noise. Tabareau N., Slotine J.-J., Pham Q.-C. PLoS Computational Biology 6, 1 (2010) e1000637 [inria-00460739 - version 1]