Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gabriel Scherer
@article{DBLP:journals/pacmpl/ChataingDSY24,
author = {Nicolas Chataing and
Stephen Dolan and
Gabriel Scherer and
Jeremy Yallop},
title = {Unboxed Data Constructors: Or, How cpp Decides a Halting Problem},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {1509--1539},
year = {2024},
url = {https://doi.org/10.1145/3632893},
doi = {10.1145/3632893},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ChataingDSY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/OuedraogoSS23,
author = {Wendlasida Ouedraogo and
Gabriel Scherer and
Lutz Stra{\ss}burger},
title = {Coqlex: Generating Formally Verified Lexers},
journal = {Art Sci. Eng. Program.},
volume = {8},
number = {1},
year = {2023},
url = {https://doi.org/10.22152/programming-journal.org/2024/8/3},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/3},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/programming/OuedraogoSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-12411,
author = {Wendlasida Ouedraogo and
Gabriel Scherer and
Lutz Stra{\ss}burger},
title = {Coqlex: Generating Formally Verified Lexers},
journal = {CoRR},
volume = {abs/2306.12411},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.12411},
doi = {10.48550/ARXIV.2306.12411},
eprinttype = {arXiv},
eprint = {2306.12411},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-12411.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-07369,
author = {Nicolas Chataing and
Stephen Dolan and
Gabriel Scherer and
Jeremy Yallop},
title = {Unboxed data constructors - or, how cpp decides a halting problem},
journal = {CoRR},
volume = {abs/2311.07369},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.07369},
doi = {10.48550/ARXIV.2311.07369},
eprinttype = {arXiv},
eprint = {2311.07369},
timestamp = {Wed, 15 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-07369.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/CourantLS22,
author = {Nathana{\"{e}}lle Courant and
Julien Lepiller and
Gabriel Scherer},
title = {Debootstrapping without Archeology - Stacked Implementations in Camlboot},
journal = {Art Sci. Eng. Program.},
volume = {6},
number = {3},
pages = {13},
year = {2022},
url = {https://doi.org/10.22152/programming-journal.org/2022/6/13},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2022/6/13},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/programming/CourantLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-09231,
author = {Nathana{\"{e}}lle Courant and
Julien Lepiller and
Gabriel Scherer},
title = {Debootstrapping without Archeology: Stacked Implementations in Camlboot},
journal = {CoRR},
volume = {abs/2202.09231},
year = {2022},
url = {https://arxiv.org/abs/2202.09231},
eprinttype = {arXiv},
eprint = {2202.09231},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-09231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ReynaudSY21,
author = {Alban Reynaud and
Gabriel Scherer and
Jeremy Yallop},
title = {A practical mode system for recursive definitions},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3434326},
doi = {10.1145/3434326},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ReynaudSY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-09823,
author = {Fr{\'{e}}d{\'{e}}ric Bour and
Basile Cl{\'{e}}ment and
Gabriel Scherer},
title = {Tail Modulo Cons},
journal = {CoRR},
volume = {abs/2102.09823},
year = {2021},
url = {https://arxiv.org/abs/2102.09823},
eprinttype = {arXiv},
eprint = {2102.09823},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-09823.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Gerard0S19,
author = {Ulysse G{\'{e}}rard and
Dale Miller and
Gabriel Scherer},
editor = {Ekaterina Komendantskaya},
title = {Functional programming with {\(\lambda\)}-tree syntax},
booktitle = {Proceedings of the 21st International Symposium on Principles and
Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
7-9, 2019},
pages = {12:1--12:16},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3354166.3354177},
doi = {10.1145/3354166.3354177},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Gerard0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1905-05909,
editor = {Sam Lindley and
Gabriel Scherer},
title = {Proceedings {ML} Family / OCaml Users and Developers workshops, ML/OCaml
2017, Oxford, UK, 7th September 2017},
series = {{EPTCS}},
volume = {294},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.294},
doi = {10.4204/EPTCS.294},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-05909.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-03619,
author = {Ulysse G{\'{e}}rard and
Dale Miller and
Gabriel Scherer},
title = {Functional programming with lambda-tree syntax},
journal = {CoRR},
volume = {abs/1908.03619},
year = {2019},
url = {http://arxiv.org/abs/1908.03619},
eprinttype = {arXiv},
eprint = {1908.03619},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-03619.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-09123,
author = {Pierre{-}{\'{E}}variste Dagand and
Lionel Rieg and
Gabriel Scherer},
title = {Dependent Pearl: Normalization by realizability},
journal = {CoRR},
volume = {abs/1908.09123},
year = {2019},
url = {http://arxiv.org/abs/1908.09123},
eprinttype = {arXiv},
eprint = {1908.09123},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-09123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KoppelSS18,
author = {James Koppel and
Gabriel Scherer and
Armando Solar{-}Lezama},
title = {Capturing the future by replaying the past (functional pearl)},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {76:1--76:29},
year = {2018},
url = {https://doi.org/10.1145/3236771},
doi = {10.1145/3236771},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/KoppelSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BourRS18,
author = {Fr{\'{e}}d{\'{e}}ric Bour and
Thomas Refis and
Gabriel Scherer},
title = {Merlin: a language server for OCaml (experience report)},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {103:1--103:15},
year = {2018},
url = {https://doi.org/10.1145/3236798},
doi = {10.1145/3236798},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BourRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FluckigerSYGAV18,
author = {Olivier Fl{\"{u}}ckiger and
Gabriel Scherer and
Ming{-}Ho Yee and
Aviral Goel and
Amal Ahmed and
Jan Vitek},
title = {Correctness of speculative optimizations with dynamic deoptimization},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {49:1--49:28},
year = {2018},
url = {https://doi.org/10.1145/3158137},
doi = {10.1145/3158137},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FluckigerSYGAV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SchererNRA18,
author = {Gabriel Scherer and
Max S. New and
Nick Rioux and
Amal Ahmed},
editor = {Christel Baier and
Ugo Dal Lago},
title = {Fab ous Interoperability for {ML} and a Linear Language},
booktitle = {Foundations of Software Science and Computation Structures - 21st
International Conference, {FOSSACS} 2018, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
Thessaloniki, Greece, April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10803},
pages = {146--162},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89366-2\_8},
doi = {10.1007/978-3-319-89366-2\_8},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/SchererNRA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-06702,
author = {Fr{\'{e}}d{\'{e}}ric Bour and
Thomas Refis and
Gabriel Scherer},
title = {Merlin: {A} Language Server for OCaml (Experience Report)},
journal = {CoRR},
volume = {abs/1807.06702},
year = {2018},
url = {http://arxiv.org/abs/1807.06702},
eprinttype = {arXiv},
eprint = {1807.06702},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-06702.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-02300,
author = {Simon Colin and
Rodolphe Lepigre and
Gabriel Scherer},
title = {Unboxing Mutually Recursive Type Definitions in OCaml},
journal = {CoRR},
volume = {abs/1811.02300},
year = {2018},
url = {http://arxiv.org/abs/1811.02300},
eprinttype = {arXiv},
eprint = {1811.02300},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-02300.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-08134,
author = {Alban Reynaud and
Gabriel Scherer and
Jeremy Yallop},
title = {A right-to-left type system for mutually-recursive value definitions},
journal = {CoRR},
volume = {abs/1811.08134},
year = {2018},
url = {http://arxiv.org/abs/1811.08134},
eprinttype = {arXiv},
eprint = {1811.08134},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-08134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Scherer17,
author = {Gabriel Scherer},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Deciding equivalence with sums and the empty type},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {374--386},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009901},
doi = {10.1145/3009837.3009901},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/Scherer17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Scherer17,
author = {Gabriel Scherer},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Search for Program Structure},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {15:1--15:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.15},
doi = {10.4230/LIPICS.SNAPL.2017.15},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/snapl/Scherer17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchererNRA17,
author = {Gabriel Scherer and
Max S. New and
Nicholas Rioux and
Amal Ahmed},
title = {FabULous Interoperability for {ML} and a Linear Language},
journal = {CoRR},
volume = {abs/1707.04984},
year = {2017},
url = {http://arxiv.org/abs/1707.04984},
eprinttype = {arXiv},
eprint = {1707.04984},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchererNRA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03050,
author = {Olivier Fl{\"{u}}ckiger and
Gabriel Scherer and
Ming{-}Ho Yee and
Aviral Goel and
Amal Ahmed and
Jan Vitek},
title = {Correctness of Speculative Optimizations with Dynamic Deoptimization},
journal = {CoRR},
volume = {abs/1711.03050},
year = {2017},
url = {http://arxiv.org/abs/1711.03050},
eprinttype = {arXiv},
eprint = {1711.03050},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-03050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Scherer16,
author = {Gabriel Scherer},
title = {Which types have a unique inhabitant? : Focusing on pure program equivalence.
(Quels types ont un habitant unique ? / Quels types ont un habitant
unique ? : Focalisons-nous sur l'{\'{e}}quivalence de programmes)},
school = {Paris Diderot University, France},
year = {2016},
url = {https://tel.archives-ouvertes.fr/tel-01309712},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Scherer16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Scherer16,
author = {Gabriel Scherer},
title = {Deciding equivalence with sums and the empty type},
journal = {CoRR},
volume = {abs/1610.01213},
year = {2016},
url = {http://arxiv.org/abs/1610.01213},
eprinttype = {arXiv},
eprint = {1610.01213},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Scherer16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SchererR15,
author = {Gabriel Scherer and
Didier R{\'{e}}my},
editor = {Jan Vitek},
title = {Full Reduction in the Face of Absurdity},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {685--709},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_28},
doi = {10.1007/978-3-662-46669-8\_28},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/SchererR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SchererR15,
author = {Gabriel Scherer and
Didier R{\'{e}}my},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Which simple types have a unique inhabitant?},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {243--255},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784757},
doi = {10.1145/2784731.2784757},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SchererR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Munch-Maccagnoni15,
author = {Guillaume Munch{-}Maccagnoni and
Gabriel Scherer},
title = {Polarised Intermediate Representation of Lambda Calculus with Sums},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {127--140},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.22},
doi = {10.1109/LICS.2015.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Munch-Maccagnoni15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Scherer15,
author = {Gabriel Scherer},
editor = {Thorsten Altenkirch},
title = {Multi-Focusing on Extensional Rewriting with Sums},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {317--331},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.317},
doi = {10.4230/LIPICS.TLCA.2015.317},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/tlca/Scherer15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SchererR13,
author = {Gabriel Scherer and
Didier R{\'{e}}my},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {GADTs Meet Subtyping},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {554--573},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_30},
doi = {10.1007/978-3-642-37036-6\_30},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/SchererR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SchererH13,
author = {Gabriel Scherer and
Jan Hoffmann},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Tracking Data-Flow with Open Closure Types},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {710--726},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_47},
doi = {10.1007/978-3-642-45221-5\_47},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SchererH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-2903,
author = {Gabriel Scherer and
Didier R{\'{e}}my},
title = {GADTs meet subtyping},
journal = {CoRR},
volume = {abs/1301.2903},
year = {2013},
url = {http://arxiv.org/abs/1301.2903},
eprinttype = {arXiv},
eprint = {1301.2903},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-2903.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchererH13,
author = {Gabriel Scherer and
Jan Hoffmann},
title = {Tracking Data-Flow with Open Closure Types},
journal = {CoRR},
volume = {abs/1312.0018},
year = {2013},
url = {http://arxiv.org/abs/1312.0018},
eprinttype = {arXiv},
eprint = {1312.0018},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchererH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-4716,
author = {Andreas Abel and
Gabriel Scherer},
title = {On Irrelevance and Algorithmic Equality in Predicative Type Theory},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(1:29)2012},
doi = {10.2168/LMCS-8(1:29)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-4716.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-5935,
author = {Gabriel Scherer and
Didier R{\'{e}}my},
title = {{GADT} meet Subtyping},
journal = {CoRR},
volume = {abs/1210.5935},
year = {2012},
url = {http://arxiv.org/abs/1210.5935},
eprinttype = {arXiv},
eprint = {1210.5935},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-5935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2024-04-21 18:19 CEST 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:
