1 |
HOπ in Coq
|
|
|
|
In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-02536463 ; Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩ (2020)
|
|
BASE
|
|
Show details
|
|
2 |
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
|
|
|
|
In: LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01479035 ; LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩ (2017)
|
|
BASE
|
|
Show details
|
|
3 |
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
|
|
|
|
In: ISSN: 0164-0925 ; EISSN: 1558-4593 ; ACM Transactions on Programming Languages and Systems (TOPLAS) ; https://hal.inria.fr/inria-00484971 ; ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2007, ACM Transactions on Programming Languages and Systems, 29 (3), pp.17. ⟨10.1145/1232420.1232424⟩ (2007)
|
|
BASE
|
|
Show details
|
|
4 |
Oz/K: A kernel language for component-based open programming
|
|
|
|
In: https://hal.inria.fr/inria-00149612 ; [Research Report] RR-6202, INRIA. 2007 (2007)
|
|
BASE
|
|
Show details
|
|
5 |
Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem
|
|
|
|
In: Departmental Papers (CIS) (2005)
|
|
BASE
|
|
Show details
|
|
6 |
Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem
|
|
|
|
In: Technical Reports (CIS) (2004)
|
|
BASE
|
|
Show details
|
|
|
|