BibTeX records: Jacques Garrigue

download as .bib file

@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    = {Wed, 02 Sep 2020 01:00:00 +0200},
  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, September 9-12, 2019, Portland, OR, {USA}},
  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    = {Mon, 23 Sep 2019 01:00:00 +0200},
  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    = {Tue, 06 Nov 2018 00:00:00 +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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics