Accéder directement au contenu

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

"guillaume-munch-maccagnoni"
Image document

Efficient Deconstruction with Typed Pointer Reversal (abstract)

Guillaume Munch-Maccagnoni , Rémi Douence
ML 2019 - Workshop, KC Sivaramakrishnan, Aug 2019, Berlin, Germany. pp.1-8
Communication dans un congrès hal-02177326v2