Concepedia

Jacques Garrigue

JG

11

Publications

288

Citations

11

H-Index

1994

Active since

Affiliations

Kyoto University(Current)

Nagoya University

Kyoto University of Education

The University of Tokyo

Jacques Garrigue is an author at Kyoto University specializing in formal methods, automated reasoning, and engineering.

Top concepts

Formal MethodsEngineeringComputer ScienceAutomated ReasoningProgram AnalysisSoftware AnalysisFormal VerificationSemanticsProgramming LanguagesComputational Complexity

Publications per year

1994–2020

11

Publications

11

Code reuse through polymorphic variants

Jacques Garrigue · 2000 · 51 citations

Semi-Explicit First-Class Polymorphism for ML

Jacques Garrigue, Didier Rémy · Information and Computation · 1999 · 51 citations

Type Theory, Polymorphism (Computer Science), Semi-explicit First-class Polymorphism +1

Programming with Polymorphic Variants

Jacques Garrigue · 2010 · 42 citations

The typed polymorphic label-selective λ-calculus

Jacques Garrigue, Hassan Aı̈t-Kaci · 1994 · 35 citations

Relational Queries, Engineering, Automated Reasoning +14

Label-selective λ-calculus syntax and confluence

Hassan Aı̈t-Kaci, Jacques Garrigue · Theoretical Computer Science · 1995 · 19 citations

Formal Semantics, Syntax, Formal Methods +5

Rows per page

1–5 of 11