J
Jacques Garrigue
Researcher at Nagoya University
Publications - 58
Citations - 741
Jacques Garrigue is an academic researcher from Nagoya University. The author has contributed to research in topics: Type inference & Recursion. The author has an hindex of 15, co-authored 55 publications receiving 710 citations. Previous affiliations of Jacques Garrigue include Kyoto University & Research Institute for Mathematical Sciences.
Papers
More filters
The OCaml system release 4.02: Documentation and user's manual
TL;DR: The OCaml 4.02 project as discussed by the authors provides a comprehensive overview of the OCamL language and its tools, including compilers, tools, toplevel system, and programming utilities.
Programming with Polymorphic Variants
TL;DR: Based on the experience with the Objective Label system, how variant polymorphism can be integrated in a programming language, and what are the benefits of type inference and compilation schemes are described.
Code reuse through polymorphic variants
TL;DR: This work shows a way to achieve code reuse, even when data and code are separated, and illustrated by a detailed example.
Book ChapterDOI
Relaxing the Value Restriction
TL;DR: In this article, a subtyping-based approach is used to recover part of the lost polymorphism in ML-like languages with imperative features, without changing the type algebra itself.
Proceedings ArticleDOI
The typed polymorphic label-selective λ-calculus
Jacques Garrigue,Hassan Aït-Kaci +1 more
TL;DR: This paper proposes a simply typed version of the calculus, then extends it to one with ML-like polymorphic types, then establishes the existence of principal types and gives an algorithm to compute them.