Accéder directement au contenu

Damien Pous

4
Documents

Publications

"alan-schmitt"
Image document

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk , Damien Pous
LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩
Communication dans un congrès hal-01479035v1
Image document

De la KAM avec un Processus d'Ordre Supérieur

Damien Pous , Alan Schmitt
JFLAs 2014, Jan 2014, Fréjus, France. pp.1-12
Communication dans un congrès hal-00966097v2
Image document

Component-Oriented Programming with Sharing: Containment is not Ownership

Daniel Hirschkoff , Tom Hirschowitz , Damien Pous , Alan Schmitt , Jean-Bernard Stefani
Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩
Communication dans un congrès hal-00310126v1