Accéder directement au contenu

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

"nicolas-tabareau"

Lazier Imperative Programming

Rémi Douence , Nicolas Tabareau
Principles and Practice of Declarative Programming (PPDP), Sep 2014, Canterbury, United Kingdom
Communication dans un congrès hal-01016565v1
Image document

Taming Aspects with Membranes

Éric Tanter , Nicolas Tabareau , Rémi Douence
Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
Communication dans un congrès hal-00690706v1