Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Patrick Bahr
@inproceedings{DBLP:conf/padl/BahrHR24,
author = {Patrick Bahr and
Emil Houlborg and
Gregers Thomas Skat R{\o}rdam},
editor = {Martin Gebser and
Ilya Sergey},
title = {Asynchronous Reactive Programming with Modal Types in Haskell},
booktitle = {Practical Aspects of Declarative Languages - 26th International Symposium,
{PADL} 2024, London, UK, January 15-16, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14512},
pages = {18--36},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-52038-9\_2},
doi = {10.1007/978-3-031-52038-9\_2},
timestamp = {Thu, 18 Jan 2024 08:27:17 +0100},
biburl = {https://dblp.org/rec/conf/padl/BahrHR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BahrM23,
author = {Patrick Bahr and
Rasmus Ejlers M{\o}gelberg},
title = {Asynchronous Modal {FRP}},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {476--510},
year = {2023},
url = {https://doi.org/10.1145/3607847},
doi = {10.1145/3607847},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BahrM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BahrH23,
author = {Patrick Bahr and
Graham Hutton},
title = {Calculating Compilers for Concurrency},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {740--767},
year = {2023},
url = {https://doi.org/10.1145/3607855},
doi = {10.1145/3607855},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BahrH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-03170,
author = {Patrick Bahr and
Rasmus Ejlers M{\o}gelberg},
title = {Asynchronous Modal {FRP}},
journal = {CoRR},
volume = {abs/2303.03170},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.03170},
doi = {10.48550/ARXIV.2303.03170},
eprinttype = {arXiv},
eprint = {2303.03170},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-03170.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bahr22,
author = {Patrick Bahr},
title = {Modal {FRP} for all: Functional reactive programming without space
leaks in Haskell},
journal = {J. Funct. Program.},
volume = {32},
pages = {e15},
year = {2022},
url = {https://doi.org/10.1017/S0956796822000132},
doi = {10.1017/S0956796822000132},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/Bahr22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BahrH22,
author = {Patrick Bahr and
Graham Hutton},
title = {Monadic compiler calculation (functional pearl)},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {80--108},
year = {2022},
url = {https://doi.org/10.1145/3547624},
doi = {10.1145/3547624},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BahrH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BahrGM21,
author = {Patrick Bahr and
Christian Uldal Graulund and
Rasmus Ejlers M{\o}gelberg},
title = {Diamonds are not forever: liveness in reactive programming with guarded
recursion},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--28},
year = {2021},
url = {https://doi.org/10.1145/3434283},
doi = {10.1145/3434283},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BahrGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2102-01804,
editor = {Patrick Bahr},
title = {Proceedings 11th International Workshop on Computing with Terms and
Graphs, TERMGRAPH@FSCD 2020, Online, 5th July 2020},
series = {{EPTCS}},
volume = {334},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.334},
doi = {10.4204/EPTCS.334},
timestamp = {Fri, 05 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-01804.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BahrH20,
author = {Patrick Bahr and
Graham Hutton},
title = {Calculating correct compilers {II:} Return of the register machines},
journal = {J. Funct. Program.},
volume = {30},
pages = {e25},
year = {2020},
url = {https://doi.org/10.1017/S0956796820000209},
doi = {10.1017/S0956796820000209},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BahrH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03170,
author = {Patrick Bahr and
Christian Uldal Graulund and
Rasmus Ejlers M{\o}gelberg},
title = {Diamonds are not forever: Liveness in reactive programming with guarded
recursion},
journal = {CoRR},
volume = {abs/2003.03170},
year = {2020},
url = {https://arxiv.org/abs/2003.03170},
eprinttype = {arXiv},
eprint = {2003.03170},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-03170.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BahrGM19,
author = {Patrick Bahr and
Christian Graulund and
Rasmus Ejlers M{\o}gelberg},
title = {Simply RaTT: a fitch-style modal calculus for reactive programming
without space leaks},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {109:1--109:27},
year = {2019},
url = {https://doi.org/10.1145/3341713},
doi = {10.1145/3341713},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BahrGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-05879,
author = {Patrick Bahr and
Christian Graulund and
Rasmus Ejlers M{\o}gelberg},
title = {Simply RaTT: {A} Fitch-style Modal Calculus for Reactive Programming},
journal = {CoRR},
volume = {abs/1903.05879},
year = {2019},
url = {http://arxiv.org/abs/1903.05879},
eprinttype = {arXiv},
eprint = {1903.05879},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-05879.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Bahr18,
author = {Patrick Bahr},
title = {Convergence in infinitary term graph rewriting systems is simple},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {8},
pages = {1363--1414},
year = {2018},
url = {https://doi.org/10.1017/S0960129518000166},
doi = {10.1017/S0960129518000166},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Bahr18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Bahr18,
author = {Patrick Bahr},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {Strict Ideal Completions of the Lambda Calculus},
booktitle = {3rd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}},
series = {LIPIcs},
volume = {108},
pages = {8:1--8:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2018.8},
doi = {10.4230/LIPICS.FSCD.2018.8},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Bahr18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-06736,
author = {Patrick Bahr},
title = {Strict Ideal Completions of the Lambda Calculus},
journal = {CoRR},
volume = {abs/1805.06736},
year = {2018},
url = {http://arxiv.org/abs/1805.06736},
eprinttype = {arXiv},
eprint = {1805.06736},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-06736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HuttonB17,
author = {Graham Hutton and
Patrick Bahr},
title = {Compiling a 50-year journey},
journal = {J. Funct. Program.},
volume = {27},
pages = {e20},
year = {2017},
url = {https://doi.org/10.1017/S0956796817000120},
doi = {10.1017/S0956796817000120},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/HuttonB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BahrA17,
author = {Patrick Bahr and
Emil Axelsson},
title = {Generalising tree traversals and tree transformations to DAGs: Exploiting
sharing without the pain},
journal = {Sci. Comput. Program.},
volume = {137},
pages = {63--97},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2016.03.006},
doi = {10.1016/J.SCICO.2016.03.006},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BahrA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BahrGM17,
author = {Patrick Bahr and
Hans Bugge Grathwohl and
Rasmus Ejlers M{\o}gelberg},
title = {The clocks are ticking: No more delays!},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005097},
doi = {10.1109/LICS.2017.8005097},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BahrGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Bahr17,
author = {Patrick Bahr},
editor = {Dale Miller},
title = {B{\"{o}}hm Reduction in Infinitary Term Graph Rewriting Systems},
booktitle = {2nd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
series = {LIPIcs},
volume = {84},
pages = {8:1--8:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2017.8},
doi = {10.4230/LIPICS.FSCD.2017.8},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Bahr17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HuttonB16,
author = {Graham Hutton and
Patrick Bahr},
editor = {Sam Lindley and
Conor McBride and
Philip W. Trinder and
Donald Sannella},
title = {Cutting Out Continuations},
booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
Philip Wadler on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9600},
pages = {187--200},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30936-1\_10},
doi = {10.1007/978-3-319-30936-1\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HuttonB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BahrH15,
author = {Patrick Bahr and
Graham Hutton},
title = {Calculating correct compilers},
journal = {J. Funct. Program.},
volume = {25},
year = {2015},
url = {https://doi.org/10.1017/S0956796815000180},
doi = {10.1017/S0956796815000180},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/BahrH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/SerranoHB15,
author = {Alejandro Serrano and
Jurriaan Hage and
Patrick Bahr},
editor = {Ben Lippmeier},
title = {Type families with class, type classes with family},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2015, Vancouver, BC, Canada, September 3-4, 2015},
pages = {129--140},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2804302.2804304},
doi = {10.1145/2804302.2804304},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/haskell/SerranoHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BahrBE15,
author = {Patrick Bahr and
Jost Berthold and
Martin Elsman},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Certified symbolic management of financial multi-party contracts},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {315--327},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784747},
doi = {10.1145/2784731.2784747},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BahrBE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Bahr15,
author = {Patrick Bahr},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Calculating Certified Compilers for Non-deterministic Languages},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {159--186},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_8},
doi = {10.1007/978-3-319-19797-5\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Bahr15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/BahrA15,
author = {Patrick Bahr and
Emil Axelsson},
editor = {Kenichi Asai and
Kostis Sagonas},
title = {Generalising Tree Traversals to DAGs: Exploiting Sharing without the
Pain},
booktitle = {Proceedings of the 2015 Workshop on Partial Evaluation and Program
Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
pages = {27--38},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2678015.2682539},
doi = {10.1145/2678015.2682539},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/BahrA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015wgp,
editor = {Patrick Bahr and
Sebastian Erdweg},
title = {Proceedings of the 11th {ACM} {SIGPLAN} Workshop on Generic Programming,
WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808098},
doi = {10.1145/2808098},
isbn = {978-1-4503-3810-3},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2015wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bahr14,
author = {Patrick Bahr},
title = {Partial Order Infinitary Term Rewriting},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {2},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(2:6)2014},
doi = {10.2168/LMCS-10(2:6)2014},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bahr14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Bahr14,
author = {Patrick Bahr},
editor = {Michael Codish and
Eijiro Sumii},
title = {Proving Correctness of Compilers Using Structured Graphs},
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 = {221--237},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_14},
doi = {10.1007/978-3-319-07151-0\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Bahr14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Bahr14,
author = {Patrick Bahr},
editor = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Tiark Rompf},
title = {Composing and decomposing data types: a closed type families implementation
of data types {\`{a}} la carte},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2014, Gothenburg, Sweden, August 31, 2014},
pages = {71--82},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633628.2633635},
doi = {10.1145/2633628.2633635},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Bahr14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AndersenBHH14,
author = {Jesper Andersen and
Patrick Bahr and
Fritz Henglein and
Tom Hvitved},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Domain-Specific Languages for Enterprise Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {73--95},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_6},
doi = {10.1007/978-3-662-45234-9\_6},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/AndersenBHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BahrD13,
author = {Patrick Bahr and
Laurence E. Day},
editor = {Jacques Carette and
Jeremiah Willcock},
title = {Programming macro tree transducers},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
pages = {61--72},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502488.2502489},
doi = {10.1145/2502488.2502489},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BahrD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1302-6335,
author = {Patrick Bahr},
editor = {Rachid Echahed and
Detlef Plump},
title = {Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended
Abstract)},
booktitle = {Proceedings 7th International Workshop on Computing with Terms and
Graphs, {TERMGRAPH} 2013, Rome, Italy, 23th March 2013},
series = {{EPTCS}},
volume = {110},
pages = {17--28},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.110.4},
doi = {10.4204/EPTCS.110.4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6335.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-0357,
author = {Patrick Bahr},
title = {Modes of Convergence for Term Graph Rewriting},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {2},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(2:6)2012},
doi = {10.2168/LMCS-8(2:6)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-0357.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Bahr12,
author = {Patrick Bahr},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Modular Tree Automata},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {263--299},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_14},
doi = {10.1007/978-3-642-31113-0\_14},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Bahr12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Bahr12,
author = {Patrick Bahr},
editor = {Ashish Tiwari},
title = {Infinitary Term Graph Rewriting is Simple, Sound and Complete},
booktitle = {23rd International Conference on Rewriting Techniques and Applications
(RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
series = {LIPIcs},
volume = {15},
pages = {69--84},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.RTA.2012.69},
doi = {10.4230/LIPICS.RTA.2012.69},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Bahr12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-2917,
author = {Patrick Bahr and
Tom Hvitved},
editor = {James Chapman and
Paul Blain Levy},
title = {Parametric Compositional Data Types},
booktitle = {Proceedings Fourth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012},
series = {{EPTCS}},
volume = {76},
pages = {3--24},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.76.3},
doi = {10.4204/EPTCS.76.3},
timestamp = {Fri, 27 Dec 2019 21:15:10 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-2917.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BahrH11,
author = {Patrick Bahr and
Tom Hvitved},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Compositional data types},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {83--94},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036930},
doi = {10.1145/2036918.2036930},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BahrH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Bahr11,
author = {Patrick Bahr},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Modes of Convergence for Term Graph Rewriting},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {139--154},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.139},
doi = {10.4230/LIPICS.RTA.2011.139},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Bahr11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-0666,
author = {Patrick Bahr},
title = {Infinitary Term Graph Rewriting},
journal = {CoRR},
volume = {abs/1107.0666},
year = {2011},
url = {http://arxiv.org/abs/1107.0666},
eprinttype = {arXiv},
eprint = {1107.0666},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-0666.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Bahr10,
author = {Patrick Bahr},
editor = {Christopher Lynch},
title = {Abstract Models of Transfinite Reductions},
booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques
and Applications, {RTA} 2010, July 11-13, 2010, Edinburgh, Scottland,
{UK}},
series = {LIPIcs},
volume = {6},
pages = {49--66},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.RTA.2010.49},
doi = {10.4230/LIPICS.RTA.2010.49},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Bahr10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Bahr10a,
author = {Patrick Bahr},
editor = {Christopher Lynch},
title = {Partial Order Infinitary Term Rewriting and B{\"{o}}hm Trees},
booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques
and Applications, {RTA} 2010, July 11-13, 2010, Edinburgh, Scottland,
{UK}},
series = {LIPIcs},
volume = {6},
pages = {67--84},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.RTA.2010.67},
doi = {10.4230/LIPICS.RTA.2010.67},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Bahr10a.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 05:51 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:
