Jacques Garrigue

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 20

Top Topics

Data Compression

Top Venues

J. Inf. Process.

Math. Struct. Comput. Sci.

Publications

Jacques Garrigue, Takafumi Saikawa
Typed compositional quantum computation with lenses. CoRR (2023)
Masahiro Sato, Jacques Garrigue
An intuitionistic set-theoretical model of fully dependent CC. Math. Struct. Comput. Sci. 33 (1) (2023)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory. CoRR (2023)
Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa
A trustful monad for axiomatic reasoning with probability and nondeterminism. J. Funct. Program. 31 (2021)
Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa
A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism. CoRR (2020)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
A Library for Formalization of Linear Error-Correcting Codes. J. Autom. Reason. 64 (6) (2020)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
Formal Adventures in Convex and Conical Spaces. CoRR (2020)
Masahiro Sato, Jacques Garrigue
An Intuitionistic Set-theoretical Model of Fully Dependent CCω. CoRR (2020)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
Formal Adventures in Convex and Conical Spaces. CICM (2020)
Reynald Affeldt, Jacques Garrigue, Xuanrui Qi, Kazunari Tanaka
Proving tree algorithms for succinct data structures. CoRR (2019)
Reynald Affeldt, Jacques Garrigue, Xuanrui Qi, Kazunari Tanaka
Proving Tree Algorithms for Succinct Data Structures. ITP (2019)
Keigo Imai, Jacques Garrigue
Lightweight Linearly-typed Programming with Lenses and Monads. J. Inf. Process. 27 (2019)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
Examples of Formal Proofs about Data Compression. ISITA (2018)
Akira Tanaka, Reynald Affeldt, Jacques Garrigue
Safe Low-level Code Generation in Coq Using Monomorphization and Monadification. J. Inf. Process. 26 (2018)
Masahiro Sato, Jacques Garrigue
. J. Inf. Process. 24 (4) (2016)
Akira Tanaka, Reynald Affeldt, Jacques Garrigue
Formal Verification of the rank Algorithm for Succinct Data Structures. ICFEM (2016)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
Formalization of Reed-Solomon codes and progress report on formalization of LDPC codes. ISITA (2016)
Reynald Affeldt, Jacques Garrigue
Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory. ITP (2015)
Jacques Garrigue, Jacques Le Normand
GADTs and Exhaustiveness: Looking for the Impossible. ML Family/OCaml (2015)
Jacques Garrigue
A certified implementation of ML with structural polymorphism and recursive types. Math. Struct. Comput. Sci. 25 (4) (2015)
Pierre Castéran, Jacques Garrigue, David Nowak
Summer School on Coq (NII Shonan Meeting 2014-9). NII Shonan Meet. Rep. 2014 (2014)
Jacques Garrigue, Didier Rémy
Ambivalent Types for Principal Type Inference with GADTs. APLAS (2013)
Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park
A syntactic type system for recursive modules. OOPSLA (2011)
Jacques Garrigue, Keiko Nakata
Path resolution for nested recursive modules. High. Order Symb. Comput. 24 (3) (2011)
Jacques Garrigue
A Certified Implementation of ML with Structural Polymorphism. APLAS (2010)
Keiko Nakata, Jacques Garrigue
Recursive modules for programming. ICFP (2006)
Jacques Garrigue
Private Row Types: Abstracting the Unnamed. APLAS (2006)
Nobuaki Yoshida, Yoshio Hayashi, Yutaka Tamagaki, Shoji Urashita, Makoto Kakuta, Masahiro Watanabe, Jacques Garrigue, Reiji Nakajima
SOBA Framework: An Application Framework for Broadband Network Environment. SAINT (2005)
Jacques Garrigue
Relaxing the Value Restriction. FLOPS (2004)
Jacques Garrigue
Relaxing the Value Restriction. APLAS (2002)
Jacques Garrigue
Simple Type Inference for Structural Polymorphism. APLAS (2001)
Jacques Garrigue, Didier Rémy
Semi-Explicit First-Class Polymorphism for ML. Inf. Comput. 155 (1-2) (1999)
Yasuhiko Minamide, Jacques Garrigue
On the Runtime Complexity of Type-Directed Unboxing. ICFP (1998)
Jacques Garrigue, Didier Rémy
Extending ML with Semi-Explicit Higher-Order Polymorphism. TACS (1997)
Hassan Aït-Kaci, Jacques Garrigue
Label-Selective lambda-Calculus Syntax and Confluence. Theor. Comput. Sci. 151 (2) (1995)
Jacques Garrigue
The Transformation Calculus. FSTTCS (1995)
Jacques Garrigue, Hassan Aït-Kaci
The Typed Polymorphic Label-Selective lambda-Calculus. POPL (1994)
Hassan Aït-Kaci, Jacques Garrigue
Label-Selective lambda-Calculus Syntax and Confluence. FSTTCS (1993)