- 1
- 1
Rémi Douence
2
Documents
Affiliations actuelles
- 495900
- 489559
Domaines de recherche
Génie logiciel [cs.SE]
Compétences
Functional Languages
Semantics
Certified Programming
Haskell
Agda
Java
Object-Oriented Languages
Publications
- 2
- 1
- 2
- 1
Lazier Imperative ProgrammingPrinciples and Practice of Declarative Programming (PPDP), Sep 2014, Canterbury, United Kingdom
Communication dans un congrès
hal-01016565v1
|
|
|
Taming Aspects with MembranesFoundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
Communication dans un congrès
hal-00690706v1
|