Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jacques Garrigue
@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} }
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.