Accueil
Consultation
Derniers dépôts
Liste des articles
Liste par auteur
Liste par année
Liste par unité de recherche
Liste par type de document
Recherche
Recherche simple
Recherche avancée
Services
Déposer dans HAL
Déposer dans TEL
Exporter une liste de publications
Fil RSS des 5 derniers dépôts de la semaine
Liens
INSMI
TEL
HAL
MiniDML
arXiv
Front arXiv
22054 articles – 15889 Notices
[english version]
.:.
Consultation
>
Liste par unité de recherche
> ASCOLA .:.
4 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
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]