2 |
A Framework for Defining Logical Frameworks
|
|
|
|
In: ISSN: 1571-0661 ; Electronic Notes in Theoretical Computer Science ; https://hal.inria.fr/hal-01148312 ; Electronic Notes in Theoretical Computer Science, Elsevier, 2007, In Computation, Meaning and Logic. ENTCS, Special issue, dedicated to Gordon D. Plotkin, on the occasion of his 60th birthday, 172, pp.399-436. ⟨10.1016/j.entcs.2007.02.014⟩ ; Elsevier (2007)
|
|
BASE
|
|
Show details
|
|
3 |
Peter, the Language that does not Exist. ; Peter, le langage qui n’existe pas.
|
|
|
|
In: https://hal.inria.fr/tel-01148503 ; Computation and Language [cs.CL]. INPL - INP de LORRAINE, 2007 (2007)
|
|
BASE
|
|
Show details
|
|
4 |
A Framework for Defining Logical Frameworks
|
|
|
|
In: https://hal.inria.fr/inria-00088809 ; [Research Report] RR-5963, INRIA. 2006, pp.56 (2006)
|
|
BASE
|
|
Show details
|
|
5 |
Pure Patterns Type Systems
|
|
|
|
In: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003 ; https://hal.inria.fr/inria-00099463 ; Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩ (2003)
|
|
BASE
|
|
Show details
|
|
6 |
Match-O, a dialect of Eiffel with match-types
|
|
|
|
In: 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000. Proceedings. ; https://hal.inria.fr/hal-01152644 ; 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000. Proceedings., Nov 2000, Sydney, Australia. pp.190 - 201, ⟨10.1109/TOOLS.2000.891369⟩ (2000)
|
|
BASE
|
|
Show details
|
|
|
|