Follow
Jacques Garrigue
Jacques Garrigue
Professor, Graduate School of Mathematics, Nagoya University
Verified email at math.nagoya-u.ac.jp
Title
Cited by
Cited by
Year
The OCaml system release 5.1: Documentation and user's manual
X Leroy, D Doligez, A Frisch, J Garrigue, D Rémy, KC Sivaramakrishnan, ...
Inria, 2023
254*2023
The Objective Caml System, release 3. 08
X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon
2142004
The objective caml system
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
Software and documentation available at http://caml. inria. fr, 1996
1701996
Programming with polymorphic variants
J Garrigue
ML workshop 13 (7), 1998
1551998
Relaxing the value restriction
J Garrigue
International Symposium on Functional and Logic Programming, 196-213, 2004
942004
The objective caml system release 3.11
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
Documentation and user’s manual. INRIA, 2008
90*2008
The Objective Caml system–Documentation and user’s manual
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
842002
Code reuse through polymorphic variants
J Garrigue
Workshop on Foundations of Software Engineering 13, 2000
842000
The Objective Caml system, documentation and user’s manual (release 3.06)
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
INRIA, Rocquencourt, France, Tech. Rep 19, 2002
552002
The typed polymorphic label-selective λ-calculus
J Garrigue, H Aït-Kaci
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
551994
The Objective Caml system. Software and documentation available on the Web
X Leroy, D Doligez, J Garrigue, J Vouillon, D Rémy
491996
Extending ML with semi-explicit higher-order polymorphism
J Garrigue, D Rémy
International Symposium on Theoretical Aspects of Computer Software, 20-46, 1997
481997
Simple Type Inference for Structural Polymorphism.
J Garrigue
APLAS, 329-343, 2001
412001
Label-selective λ-calculus syntax and confluence
H Aït-Kaci, J Garrigue
Theoretical Computer Science 151 (2), 353-383, 1995
41*1995
The Objective Caml system release 3.09: Documentation and user’s manual, 2005
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
38
Semi-explicit first-class polymorphism for ML
J Garrigue, D Rémy
Information and computation 155 (1-2), 134-169, 1999
341999
Recursive modules for programming
K Nakata, J Garrigue
ACM SIGPLAN Notices 41 (9), 74-86, 2006
312006
A label-selective lambda-calculus with optional arguments and its compilation method
JP Furuse, J Garrigue
Kyoto University. Research Institute for Mathematical Sciences [RIMS], 1995
261995
Ambivalent types for principal type inference with GADTs
J Garrigue, D Rémy
Programming Languages and Systems: 11th Asian Symposium, APLAS 2013 …, 2013
252013
Formalization of error-correcting codes: from Hamming to modern coding theory
R Affeldt, J Garrigue
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015
232015
The system can't perform the operation now. Try again later.
Articles 1–20