Skip to Main content Skip to Navigation


...
hal-00934408v1  Reports
Julien CretinDidier Rémy. System F with Coercion Constraints
[Research Report] RR-8456, INRIA. 2014, pp.36
...
hal-00939411v1  Reports
Jair KoillerMoacyr da SilvaMax SouzaClaudia CodeçoAbderrahman Iggidr et al.  Aedes, Wolbachia and Dengue
[Research Report] RR-8462, Inria Nancy - Grand Est (Villers-lès-Nancy, France). 2014, pp.47