Damien Pous
4
Documents
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
|
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract MachinesLICS 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
|
|
De la KAM avec un Processus d'Ordre SupérieurJFLAs 2014, Jan 2014, Fréjus, France. pp.1-12
Communication dans un congrès
hal-00966097v2
|
|
Component-Oriented Programming with Sharing: Containment is not OwnershipGenerative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩
Communication dans un congrès
hal-00310126v1
|
|
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines[Research Report] RR-9052, Inria. 2017
Rapport
hal-01507625v1
|