- 1
Rémi Douence
1
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
- 1
- 1
- 1
|
Reactive Model Transformation with ATLScience of Computer Programming, 2017, 136, pp.1 - 16. ⟨10.1016/j.scico.2016.08.006⟩
Article dans une revue
hal-01627991v1
|