Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jeremy Yallop
@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/pacmpl/XieWNY23,
author = {Ningning Xie and
Leo White and
Olivier Nicole and
Jeremy Yallop},
title = {MacoCaml: Staging Composable and Compilable Macros},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {604--648},
year = {2023},
url = {https://doi.org/10.1145/3607851},
doi = {10.1145/3607851},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/XieWNY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HuangY23,
author = {Yulong Huang and
Jeremy Yallop},
title = {Defunctionalization with Dependent Types},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {516--538},
year = {2023},
url = {https://doi.org/10.1145/3591241},
doi = {10.1145/3591241},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/HuangY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/YallopXK23,
author = {Jeremy Yallop and
Ningning Xie and
Neel Krishnaswami},
title = {flap: {A} Deterministic Parser with Fused Lexing},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1194--1217},
year = {2023},
url = {https://doi.org/10.1145/3591269},
doi = {10.1145/3591269},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/YallopXK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-04574,
author = {Yulong Huang and
Jeremy Yallop},
title = {Defunctionalization with Dependent Types},
journal = {CoRR},
volume = {abs/2304.04574},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.04574},
doi = {10.48550/ARXIV.2304.04574},
eprinttype = {arXiv},
eprint = {2304.04574},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-04574.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-05276,
author = {Jeremy Yallop and
Ningning Xie and
Neel Krishnaswami},
title = {flap: {A} Deterministic Parser with Fused Lexing},
journal = {CoRR},
volume = {abs/2304.05276},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.05276},
doi = {10.48550/ARXIV.2304.05276},
eprinttype = {arXiv},
eprint = {2304.05276},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-05276.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-15375,
author = {Guillaume Allais and
Edwin C. Brady and
Nathan Corbyn and
Ohad Kammar and
Jeremy Yallop},
title = {Frex: dependently-typed algebraic simplification},
journal = {CoRR},
volume = {abs/2306.15375},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.15375},
doi = {10.48550/ARXIV.2306.15375},
eprinttype = {arXiv},
eprint = {2306.15375},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-15375.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/pacmpl/XiePLWYW22,
author = {Ningning Xie and
Matthew Pickering and
Andres L{\"{o}}h and
Nicolas Wu and
Jeremy Yallop and
Meng Wang},
title = {Staging with class: a specification for typed template Haskell},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--30},
year = {2022},
url = {https://doi.org/10.1145/3498723},
doi = {10.1145/3498723},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/XiePLWYW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-00495,
author = {Oleg Kiselyov and
Jeremy Yallop},
title = {let (rec) insertion without Effects, Lights or Magic},
journal = {CoRR},
volume = {abs/2201.00495},
year = {2022},
url = {https://arxiv.org/abs/2201.00495},
eprinttype = {arXiv},
eprint = {2201.00495},
timestamp = {Mon, 10 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00495.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/pacmpl/YallopW19,
author = {Jeremy Yallop and
Leo White},
title = {Lambda: the ultimate sublanguage (experience report)},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {116:1--116:17},
year = {2019},
url = {https://doi.org/10.1145/3342713},
doi = {10.1145/3342713},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/YallopW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/YallopK19,
author = {Jeremy Yallop and
Oleg Kiselyov},
editor = {Manuel V. Hermenegildo and
Atsushi Igarashi},
title = {Generating mutually recursive definitions},
booktitle = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
14-15, 2019},
pages = {75--81},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3294032.3294078},
doi = {10.1145/3294032.3294078},
timestamp = {Sun, 25 Jul 2021 11:46:36 +0200},
biburl = {https://dblp.org/rec/conf/pepm/YallopK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KrishnaswamiY19,
author = {Neelakantan R. Krishnaswami and
Jeremy Yallop},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {A typed, algebraic approach to parsing},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {379--393},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314625},
doi = {10.1145/3314221.3314625},
timestamp = {Sun, 09 Jun 2019 18:52:19 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KrishnaswamiY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-02529,
author = {Gabriel Radanne and
Thomas Gazagnaire and
Anil Madhavapeddy and
Jeremy Yallop and
Richard Mortier and
Hannes Mehnert and
Mindy Preston and
David J. Scott},
title = {Programming Unikernels in the Large via Functor Driven Development},
journal = {CoRR},
volume = {abs/1905.02529},
year = {2019},
url = {http://arxiv.org/abs/1905.02529},
eprinttype = {arXiv},
eprint = {1905.02529},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-02529.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/YallopGK18,
author = {Jeremy Yallop and
Tamara von Glehn and
Ohad Kammar},
title = {Partially-static data as free extension of algebras},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {100:1--100:30},
year = {2018},
url = {https://doi.org/10.1145/3236795},
doi = {10.1145/3236795},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/YallopGK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/YallopSM18,
author = {Jeremy Yallop and
David Sheets and
Anil Madhavapeddy},
title = {A modular foreign function interface},
journal = {Sci. Comput. Program.},
volume = {164},
pages = {82--97},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.04.002},
doi = {10.1016/J.SCICO.2017.04.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/YallopSM18.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}
}
@article{DBLP:journals/pacmpl/Yallop17,
author = {Jeremy Yallop},
title = {Staged generic programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {29:1--29:29},
year = {2017},
url = {https://doi.org/10.1145/3110273},
doi = {10.1145/3110273},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Yallop17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1905-06543,
author = {Runhang Li and
Jeremy Yallop},
editor = {Sam Lindley and
Gabriel Scherer},
title = {Extending OCaml's 'open'},
booktitle = {Proceedings {ML} Family / OCaml Users and Developers workshops, ML/OCaml
2017, Oxford, UK, 7th September 2017},
series = {{EPTCS}},
volume = {294},
pages = {1--14},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.294.1},
doi = {10.4204/EPTCS.294.1},
timestamp = {Wed, 29 May 2019 13:01:26 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-06543.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1905-06546,
author = {Jeremy Yallop and
Stephen Dolan},
editor = {Sam Lindley and
Gabriel Scherer},
title = {First-Class Subtypes},
booktitle = {Proceedings {ML} Family / OCaml Users and Developers workshops, ML/OCaml
2017, Oxford, UK, 7th September 2017},
series = {{EPTCS}},
volume = {294},
pages = {74--85},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.294.4},
doi = {10.4204/EPTCS.294.4},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-06546.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2017,
editor = {Ulrik Pagh Schultz and
Jeremy Yallop},
title = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018882},
doi = {10.1145/3018882},
isbn = {978-1-4503-4721-1},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/YallopD17,
editor = {Jeremy Yallop and
Damien Doligez},
title = {Proceedings {ML} Family / OCaml Users and Developers workshops, {ML}
Family/OCaml 2015, Vancouver, Canada, 3rd {\&} 4th September 2015},
series = {{EPTCS}},
volume = {241},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.241},
doi = {10.4204/EPTCS.241},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YallopD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/YallopSM16,
author = {Jeremy Yallop and
David Sheets and
Anil Madhavapeddy},
editor = {Oleg Kiselyov and
Andy King},
title = {Declarative Foreign Function Binding Through Generic Programming},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {198--214},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_13},
doi = {10.1007/978-3-319-29604-3\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/YallopSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/YallopL16,
author = {Jeremy Yallop and
Hai Liu},
editor = {Geoffrey Mainland},
title = {Causal commutative arrows revisited},
booktitle = {Proceedings of the 9th International Symposium on Haskell, Haskell
2016, Nara, Japan, September 22-23, 2016},
pages = {21--32},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976002.2976019},
doi = {10.1145/2976002.2976019},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/YallopL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Kaloper-Mersinjak16,
author = {David Kaloper{-}Mersinjak and
Jeremy Yallop},
editor = {James Chapman and
Wouter Swierstra},
title = {Generic partially-static data (extended abstract)},
booktitle = {Proceedings of the 1st International Workshop on Type-Driven Development,
TyDe@ICFP 2016, Nara, Japan, September 18, 2016},
pages = {39--40},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976022.2976028},
doi = {10.1145/2976022.2976028},
timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Kaloper-Mersinjak16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Yallop16,
author = {Jeremy Yallop},
editor = {Martin Erwig and
Tiark Rompf},
title = {Staging generic programming},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2016, St. Petersburg, FL, USA, January
20 - 22, 2016},
pages = {85--96},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2847538.2847546},
doi = {10.1145/2847538.2847546},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Yallop16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/Bauer0PY16,
author = {Andrej Bauer and
Martin Hofmann and
Matija Pretnar and
Jeremy Yallop},
title = {From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl
Seminar 16112)},
journal = {Dagstuhl Reports},
volume = {6},
number = {3},
pages = {44--58},
year = {2016},
url = {https://doi.org/10.4230/DagRep.6.3.44},
doi = {10.4230/DAGREP.6.3.44},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/Bauer0PY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/YallopW14,
author = {Jeremy Yallop and
Leo White},
editor = {Michael Codish and
Eijiro Sumii},
title = {Lightweight Higher-Kinded Polymorphism},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {119--135},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_8},
doi = {10.1007/978-3-319-07151-0\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/YallopW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/WhiteBY15,
author = {Leo White and
Fr{\'{e}}d{\'{e}}ric Bour and
Jeremy Yallop},
editor = {Oleg Kiselyov and
Jacques Garrigue},
title = {Modular implicits},
booktitle = {Proceedings {ML} Family/OCaml Users and Developers workshops, ML/OCaml
2014, Gothenburg, Sweden, September 4-5, 2014},
series = {{EPTCS}},
volume = {198},
pages = {22--63},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.198.2},
doi = {10.4204/EPTCS.198.2},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/WhiteBY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Yallop10,
author = {Jeremy Yallop},
title = {Abstraction for web programming},
school = {University of Edinburgh, {UK}},
year = {2010},
url = {https://hdl.handle.net/1842/4683},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Yallop10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/LindleyWY10,
author = {Sam Lindley and
Philip Wadler and
Jeremy Yallop},
title = {The arrow calculus},
journal = {J. Funct. Program.},
volume = {20},
number = {1},
pages = {51--69},
year = {2010},
url = {https://doi.org/10.1017/S095679680999027X},
doi = {10.1017/S095679680999027X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/LindleyWY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/AtkeyLY09,
author = {Robert Atkey and
Sam Lindley and
Jeremy Yallop},
editor = {Stephanie Weirich},
title = {Unembedding domain-specific languages},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2009, Edinburgh, Scotland, UK, 3 September 2009},
pages = {37--48},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596638.1596644},
doi = {10.1145/1596638.1596644},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/AtkeyLY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/CooperLWY08,
author = {Ezra Cooper and
Sam Lindley and
Philip Wadler and
Jeremy Yallop},
editor = {G. Ramalingam},
title = {The Essence of Form Abstraction},
booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
Bangalore, India, December 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5356},
pages = {205--220},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89330-1\_15},
doi = {10.1007/978-3-540-89330-1\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/CooperLWY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LindleyWY11,
author = {Sam Lindley and
Philip Wadler and
Jeremy Yallop},
editor = {Venanzio Capretta and
Conor McBride},
title = {Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous},
booktitle = {Proceedings of the Second Workshop on Mathematically Structured Functional
Programming, MSFP@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {5},
pages = {97--117},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.02.018},
doi = {10.1016/J.ENTCS.2011.02.018},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LindleyWY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/Yallop07,
author = {Jeremy Yallop},
editor = {Claudio V. Russo and
Derek Dreyer},
title = {Practical generic programming in OCaml},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
October 5, 2007},
pages = {83--94},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292535.1292548},
doi = {10.1145/1292535.1292548},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ml/Yallop07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/CooperLWY06,
author = {Ezra Cooper and
Sam Lindley and
Philip Wadler and
Jeremy Yallop},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Links: Web Programming Without Tiers},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium,
{FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4709},
pages = {266--296},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74792-5\_12},
doi = {10.1007/978-3-540-74792-5\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/CooperLWY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/YallopKB05,
author = {Jeremy Yallop and
Anna Korhonen and
Ted Briscoe},
editor = {Kevin Knight and
Hwee Tou Ng and
Kemal Oflazer},
title = {Automatic Acquisition of Adjectival Subcategorization from Corpora},
booktitle = {{ACL} 2005, 43rd Annual Meeting of the Association for Computational
Linguistics, Proceedings of the Conference, 25-30 June 2005, University
of Michigan, {USA}},
pages = {614--621},
publisher = {The Association for Computer Linguistics},
year = {2005},
url = {https://aclanthology.org/P05-1076/},
doi = {10.3115/1219840.1219916},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/YallopKB05.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-25 01:17 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:
