- 2
- 1
Rémi Douence
3
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
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 3
|
Propagation Engine Prototyping with a Domain Specific LanguageConstraints, 2014, 19 (1), pp.57-76. ⟨10.1007/s10601-013-9151-5⟩
Article dans une revue
hal-00867604v1
|
|
Prototyper des Moteurs de Propagation avec un DSLJournées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288
Communication dans un congrès
hal-00867713v1
|
|
Lazy Composition of Representations in JavaSC'09 - International Conference on Software Composition, Jul 2009, Lille, France. pp.55-71
Communication dans un congrès
inria-00403417v1
|