default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jacques Garrigue
@article{DBLP:journals/jfp/AffeldtGS25,
author = {Reynald Affeldt and
Jacques Garrigue and
Takafumi Saikawa},
title = {A practical formalization of monadic equational reasoning in dependent-type
theory},
journal = {J. Funct. Program.},
volume = {35},
year = {2025},
url = {https://doi.org/10.1017/s0956796824000157},
doi = {10.1017/S0956796824000157},
timestamp = {Fri, 14 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/AffeldtGS25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WengAGS25,
author = {Cheng{-}Hui Weng and
Reynald Affeldt and
Jacques Garrigue and
Takafumi Saikawa},
editor = {Carla Ferreira and
Claudio Antares Mezzina},
title = {An Approach to Formalize Information-Theoretic Security of Multiparty
Computation Protocols},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 45th {IFIP} {WG} 6.1 International Conference, {FORTE} 2025, Held
as Part of the 20th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15732},
pages = {182--192},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-3-031-95497-9\_11},
doi = {10.1007/978-3-031-95497-9\_11},
timestamp = {Sun, 06 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/WengAGS25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/GarrigueS24,
author = {Jacques Garrigue and
Takafumi Saikawa},
editor = {Yves Bertot and
Temur Kutsia and
Michael Norrish},
title = {Typed Compositional Quantum Computation with Lenses},
booktitle = {15th International Conference on Interactive Theorem Proving, {ITP}
2024, Tbilisi, Georgia, September 9-14, 2024},
series = {LIPIcs},
volume = {309},
pages = {15:1--15:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ITP.2024.15},
doi = {10.4230/LIPICS.ITP.2024.15},
timestamp = {Fri, 21 Nov 2025 23:44:11 +0100},
biburl = {https://dblp.org/rec/conf/itp/GarrigueS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/11/GarrigueS24,
author = {Jacques Garrigue and
Takafumi Saikawa},
title = {{QECC:} Quantum Computation and Error-Correcting Codes},
publisher = {{DROPS} Artifacts},
year = {2024},
month = nov,
howpublished = {\url{https://doi.org/10.4230/artifacts.22446}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.4230/artifacts.22446},
doi = {10.4230/ARTIFACTS.22446},
timestamp = {Wed, 15 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/11/GarrigueS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SatoG23,
author = {Masahiro Sato and
Jacques Garrigue},
title = {An intuitionistic set-theoretical model of fully dependent {CC}},
journal = {Math. Struct. Comput. Sci.},
volume = {33},
number = {1},
pages = {1--32},
year = {2023},
url = {https://doi.org/10.1017/s0960129523000087},
doi = {10.1017/S0960129523000087},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/SatoG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-14347,
author = {Jacques Garrigue and
Takafumi Saikawa},
title = {Typed compositional quantum computation with lenses},
journal = {CoRR},
volume = {abs/2311.14347},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.14347},
doi = {10.48550/ARXIV.2311.14347},
eprinttype = {arXiv},
eprint = {2311.14347},
timestamp = {Thu, 30 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-14347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-06103,
author = {Reynald Affeldt and
Jacques Garrigue and
Takafumi Saikawa},
title = {A Practical Formalization of Monadic Equational Reasoning in Dependent-type
Theory},
journal = {CoRR},
volume = {abs/2312.06103},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.06103},
doi = {10.48550/ARXIV.2312.06103},
eprinttype = {arXiv},
eprint = {2312.06103},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-06103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AffeldtGNS21,
author = {Reynald Affeldt and
Jacques Garrigue and
David Nowak and
Takafumi Saikawa},
title = {A trustful monad for axiomatic reasoning with probability and nondeterminism},
journal = {J. Funct. Program.},
volume = {31},
pages = {e17},
year = {2021},
url = {https://doi.org/10.1017/S0956796821000137},
doi = {10.1017/S0956796821000137},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AffeldtGNS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AffeldtGS20,
author = {Reynald Affeldt and
Jacques Garrigue and
Takafumi Saikawa},
title = {A Library for Formalization of Linear Error-Correcting Codes},
journal = {J. Autom. Reason.},
volume = {64},
number = {6},
pages = {1123--1164},
year = {2020},
url = {https://doi.org/10.1007/s10817-019-09538-8},
doi = {10.1007/S10817-019-09538-8},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/AffeldtGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AffeldtGS20,
author = {Reynald Affeldt and
Jacques Garrigue and
Takafumi Saikawa},
editor = {Christoph Benzm{\"{u}}ller and
Bruce R. Miller},
title = {Formal Adventures in Convex and Conical Spaces},
booktitle = {Intelligent Computer Mathematics - 13th International Conference,
{CICM} 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12236},
pages = {23--38},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53518-6\_2},
doi = {10.1007/978-3-030-53518-6\_2},
timestamp = {Fri, 31 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AffeldtGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-09993,
author = {Reynald Affeldt and
Jacques Garrigue and
David Nowak and
Takafumi Saikawa},
title = {A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism},
journal = {CoRR},
volume = {abs/2003.09993},
year = {2020},
url = {https://arxiv.org/abs/2003.09993},
eprinttype = {arXiv},
eprint = {2003.09993},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-09993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-12713,
author = {Reynald Affeldt and
Jacques Garrigue and
Takafumi Saikawa},
title = {Formal Adventures in Convex and Conical Spaces},
journal = {CoRR},
volume = {abs/2004.12713},
year = {2020},
url = {https://arxiv.org/abs/2004.12713},
eprinttype = {arXiv},
eprint = {2004.12713},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-12713.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-12504,
author = {Masahiro Sato and
Jacques Garrigue},
title = {An Intuitionistic Set-theoretical Model of Fully Dependent CC{\(\omega\)}},
journal = {CoRR},
volume = {abs/2010.12504},
year = {2020},
url = {https://arxiv.org/abs/2010.12504},
eprinttype = {arXiv},
eprint = {2010.12504},
timestamp = {Tue, 27 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-12504.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/ImaiG19,
author = {Keigo Imai and
Jacques Garrigue},
title = {Lightweight Linearly-typed Programming with Lenses and Monads},
journal = {J. Inf. Process.},
volume = {27},
pages = {431--444},
year = {2019},
url = {https://doi.org/10.2197/ipsjjip.27.431},
doi = {10.2197/IPSJJIP.27.431},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jip/ImaiG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/AffeldtGQT19,
author = {Reynald Affeldt and
Jacques Garrigue and
Xuanrui Qi and
Kazunari Tanaka},
editor = {John Harrison and
John O'Leary and
Andrew Tolmach},
title = {Proving Tree Algorithms for Succinct Data Structures},
booktitle = {10th International Conference on Interactive Theorem Proving, {ITP}
2019, Portland, OR, USA, September 9-12, 2019},
series = {LIPIcs},
volume = {141},
pages = {5:1--5:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ITP.2019.5},
doi = {10.4230/LIPICS.ITP.2019.5},
timestamp = {Fri, 21 Nov 2025 23:44:11 +0100},
biburl = {https://dblp.org/rec/conf/itp/AffeldtGQT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-02809,
author = {Reynald Affeldt and
Jacques Garrigue and
Xuanrui Qi and
Kazunari Tanaka},
title = {Proving tree algorithms for succinct data structures},
journal = {CoRR},
volume = {abs/1904.02809},
year = {2019},
url = {http://arxiv.org/abs/1904.02809},
eprinttype = {arXiv},
eprint = {1904.02809},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-02809.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/TanakaAG18,
author = {Akira Tanaka and
Reynald Affeldt and
Jacques Garrigue},
title = {Safe Low-level Code Generation in Coq Using Monomorphization and Monadification},
journal = {J. Inf. Process.},
volume = {26},
pages = {54--72},
year = {2018},
url = {https://doi.org/10.2197/ipsjjip.26.54},
doi = {10.2197/IPSJJIP.26.54},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jip/TanakaAG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isita/AffeldtGS18,
author = {Reynald Affeldt and
Jacques Garrigue and
Takafumi Saikawa},
title = {Examples of Formal Proofs about Data Compression},
booktitle = {International Symposium on Information Theory and Its Applications,
{ISITA} 2018, Singapore, October 28-31, 2018},
pages = {633--637},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/ISITA.2018.8664276},
doi = {10.23919/ISITA.2018.8664276},
timestamp = {Wed, 11 Aug 2021 11:51:25 +0200},
biburl = {https://dblp.org/rec/conf/isita/AffeldtGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/SatoG16,
author = {Masahiro Sato and
Jacques Garrigue},
title = {An Intuitionistic Set-theoretical Model of CC\({}^{\mbox{\emph{{\(\omega\)}}}}\)},
journal = {J. Inf. Process.},
volume = {24},
number = {4},
pages = {711--720},
year = {2016},
url = {https://doi.org/10.2197/ipsjjip.24.711},
doi = {10.2197/IPSJJIP.24.711},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jip/SatoG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TanakaAG16,
author = {Akira Tanaka and
Reynald Affeldt and
Jacques Garrigue},
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {Formal Verification of the rank Algorithm for Succinct Data Structures},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
pages = {243--260},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_16},
doi = {10.1007/978-3-319-47846-3\_16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/TanakaAG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isita/AffeldtGS16,
author = {Reynald Affeldt and
Jacques Garrigue and
Takafumi Saikawa},
title = {Formalization of Reed-Solomon codes and progress report on formalization
of {LDPC} codes},
booktitle = {2016 International Symposium on Information Theory and Its Applications,
{ISITA} 2016, Monterey, CA, USA, October 30 - November 2, 2016},
pages = {532--536},
publisher = {{IEEE}},
year = {2016},
url = {https://ieeexplore.ieee.org/document/7840481/},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isita/AffeldtGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2016,
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913},
doi = {10.1145/2951913},
isbn = {978-1-4503-4219-3},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Garrigue15,
author = {Jacques Garrigue},
title = {A certified implementation of {ML} with structural polymorphism and
recursive types},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {4},
pages = {867--891},
year = {2015},
url = {https://doi.org/10.1017/S0960129513000066},
doi = {10.1017/S0960129513000066},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Garrigue15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/AffeldtG15,
author = {Reynald Affeldt and
Jacques Garrigue},
editor = {Christian Urban and
Xingyuan Zhang},
title = {Formalization of Error-Correcting Codes: From Hamming to Modern Coding
Theory},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
2015, Nanjing, China, August 24-27, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9236},
pages = {17--33},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22102-1\_2},
doi = {10.1007/978-3-319-22102-1\_2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/AffeldtG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GarrigueN17,
author = {Jacques Garrigue and
Jacques Le Normand},
editor = {Jeremy Yallop and
Damien Doligez},
title = {GADTs and Exhaustiveness: Looking for the Impossible},
booktitle = {Proceedings {ML} Family / OCaml Users and Developers workshops, {ML}
Family/OCaml 2015, Vancouver, Canada, 3rd {\&} 4th September 2015},
series = {{EPTCS}},
volume = {241},
pages = {23--35},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.241.2},
doi = {10.4204/EPTCS.241.2},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/GarrigueN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/KiselyovG15,
editor = {Oleg Kiselyov and
Jacques Garrigue},
title = {Proceedings {ML} Family/OCaml Users and Developers workshops, ML/OCaml
2014, Gothenburg, Sweden, September 4-5, 2014},
series = {{EPTCS}},
volume = {198},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.198},
doi = {10.4204/EPTCS.198},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KiselyovG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2014,
editor = {Jacques Garrigue},
title = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12736-1},
doi = {10.1007/978-3-319-12736-1},
isbn = {978-3-319-12735-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/CasteranGN14,
author = {Pierre Cast{\'{e}}ran and
Jacques Garrigue and
David Nowak},
title = {Summer School on {C}oq ({NII} Shonan Meeting 2014-9)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/041/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/CasteranGN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/GarrigueR13,
author = {Jacques Garrigue and
Didier R{\'{e}}my},
editor = {Chung{-}chieh Shan},
title = {Ambivalent Types for Principal Type Inference with GADTs},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {257--272},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_19},
doi = {10.1007/978-3-319-03542-0\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/GarrigueR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/GarrigueN11,
author = {Jacques Garrigue and
Keiko Nakata},
title = {Path resolution for nested recursive modules},
journal = {High. Order Symb. Comput.},
volume = {24},
number = {3},
pages = {207--237},
year = {2011},
url = {https://doi.org/10.1007/s10990-012-9083-6},
doi = {10.1007/S10990-012-9083-6},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/GarrigueN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ImNGP11,
author = {Hyeonseung Im and
Keiko Nakata and
Jacques Garrigue and
Sungwoo Park},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {A syntactic type system for recursive modules},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {993--1012},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048141},
doi = {10.1145/2048066.2048141},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ImNGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Garrigue10,
author = {Jacques Garrigue},
editor = {Kazunori Ueda},
title = {A Certified Implementation of {ML} with Structural Polymorphism},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
Shanghai, China, November 28 - December 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6461},
pages = {360--375},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_25},
doi = {10.1007/978-3-642-17164-2\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Garrigue10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2008,
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7},
doi = {10.1007/978-3-540-78969-7},
isbn = {978-3-540-78968-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Garrigue06,
author = {Jacques Garrigue},
editor = {Naoki Kobayashi},
title = {Private Row Types: Abstracting the Unnamed},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4279},
pages = {44--60},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11924661\_3},
doi = {10.1007/11924661\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Garrigue06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NakataG06,
author = {Keiko Nakata and
Jacques Garrigue},
editor = {John H. Reppy and
Julia Lawall},
title = {Recursive modules for programming},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
16-21, 2006},
pages = {74--86},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159803.1159813},
doi = {10.1145/1159803.1159813},
timestamp = {Mon, 17 Jan 2022 15:20:18 +0100},
biburl = {https://dblp.org/rec/conf/icfp/NakataG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/YoshidaHTUKWGN05,
author = {Nobuaki Yoshida and
Yoshio Hayashi and
Yutaka Tamagaki and
Shoji Urashita and
Makoto Kakuta and
Masahiro Watanabe and
Jacques Garrigue and
Reiji Nakajima},
title = {{SOBA} Framework: An Application Framework for Broadband Network Environment},
booktitle = {2005 {IEEE/IPSJ} International Symposium on Applications and the Internet
{(SAINT} 2005), 31 January - 4 February 2005, Trento, Italy},
pages = {296--303},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SAINT.2005.59},
doi = {10.1109/SAINT.2005.59},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saint/YoshidaHTUKWGN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Garrigue04,
author = {Jacques Garrigue},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Relaxing the Value Restriction},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {196--213},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_15},
doi = {10.1007/978-3-540-24754-8\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Garrigue04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Garrigue02,
author = {Jacques Garrigue},
title = {Relaxing the Value Restriction},
booktitle = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
Shanghai Jiao Tong University, Shanghai, China, November 29 - December
1, 2002, Proceedings},
pages = {31--45},
year = {2002},
timestamp = {Tue, 01 Jun 2004 13:16:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Garrigue02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Garrigue01,
author = {Jacques Garrigue},
title = {Simple Type Inference for Structural Polymorphism},
booktitle = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01,
Korea Advanced Institute of Science and Technology, Daejeon, Korea,
December 17-18, 2001, Proceedings},
pages = {329--343},
year = {2001},
timestamp = {Tue, 01 Jun 2004 13:15:57 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Garrigue01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GarrigueR99,
author = {Jacques Garrigue and
Didier R{\'{e}}my},
title = {Semi-Explicit First-Class Polymorphism for {ML}},
journal = {Inf. Comput.},
volume = {155},
number = {1-2},
pages = {134--169},
year = {1999},
url = {https://doi.org/10.1006/inco.1999.2830},
doi = {10.1006/INCO.1999.2830},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GarrigueR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MinamideG98,
author = {Yasuhiko Minamide and
Jacques Garrigue},
editor = {Matthias Felleisen and
Paul Hudak and
Christian Queinnec},
title = {On the Runtime Complexity of Type-Directed Unboxing},
booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
September 27-29, 1998},
pages = {1--12},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289423.289424},
doi = {10.1145/289423.289424},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MinamideG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/GarrigueR97,
author = {Jacques Garrigue and
Didier R{\'{e}}my},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Extending {ML} with Semi-Explicit Higher-Order Polymorphism},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {20--46},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014546},
doi = {10.1007/BFB0014546},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/GarrigueR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ait-KaciG95,
author = {Hassan A{\"{\i}}t{-}Kaci and
Jacques Garrigue},
title = {Label-Selective lambda-Calculus Syntax and Confluence},
journal = {Theor. Comput. Sci.},
volume = {151},
number = {2},
pages = {353--383},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(95)00072-5},
doi = {10.1016/0304-3975(95)00072-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ait-KaciG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Garrigue95,
author = {Jacques Garrigue},
editor = {P. S. Thiagarajan},
title = {The Transformation Calculus},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
15th Conference, Bangalore, India, December 18-20, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1026},
pages = {151--165},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60692-0\_46},
doi = {10.1007/3-540-60692-0\_46},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Garrigue95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GarrigueA94,
author = {Jacques Garrigue and
Hassan A{\"{\i}}t{-}Kaci},
editor = {Hans{-}Juergen Boehm and
Bernard Lang and
Daniel M. Yellin},
title = {The Typed Polymorphic Label-Selective lambda-Calculus},
booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, Oregon, USA, January
17-21, 1994},
pages = {35--47},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/174675.174434},
doi = {10.1145/174675.174434},
timestamp = {Thu, 19 Feb 2026 16:17:01 +0100},
biburl = {https://dblp.org/rec/conf/popl/GarrigueA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Ait-KaciG93,
author = {Hassan A{\"{\i}}t{-}Kaci and
Jacques Garrigue},
editor = {R. K. Shyamasundar},
title = {Label-Selective lambda-Calculus Syntax and Confluence},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
13th Conference, Bombay, India, December 15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {761},
pages = {24--40},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57529-4\_41},
doi = {10.1007/3-540-57529-4\_41},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Ait-KaciG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-20 23:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
