Patrick Bahr
发表
Emil Axelsson,
Patrick Bahr,
2015,
PEPM.
Patrick Bahr,
2012,
MPC.
Patrick Bahr,
2018,
FSCD.
Patrick Bahr,
Laurence E. Day,
2013,
WGP '13.
Graham Hutton,
Patrick Bahr,
2016,
A List of Successes That Can Change the World.
Patrick Bahr,
2011
.
Patrick Bahr,
P. Bahr,
2011,
RTA.
Patrick Bahr,
2010,
RTA.
Rasmus Ejlers Møgelberg,
Patrick Bahr,
Hans Bugge Grathwohl,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Patrick Bahr,
2010,
RTA.
Graham Hutton,
Patrick Bahr,
2017,
J. Funct. Program..
Graham Hutton,
Patrick Bahr,
G. Hutton,
2020,
Journal of Functional Programming.
Graham Hutton,
Patrick Bahr,
G. Hutton,
2015,
Journal of Functional Programming.
Patrick Bahr,
P. Bahr,
2012,
Log. Methods Comput. Sci..
Patrick Bahr,
2012,
RTA.
Martin Elsman,
Jost Berthold,
Patrick Bahr,
2015,
ICFP.
Composing and decomposing data types: a closed type families implementation of data types à la carte
Patrick Bahr,
2014,
WGP '14.
Rasmus Ejlers Møgelberg,
Patrick Bahr,
Christian Uldal Graulund,
2020,
Proc. ACM Program. Lang..
Patrick Bahr,
2011
.
Sebastian Erdweg,
Patrick Bahr,
2015,
WGP@ICFP.
Patrick Bahr,
2014,
FLOPS.
Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting
Patrick Bahr,
P. Bahr,
2012
.
Patrick Bahr,
2015
.
Patrick Bahr,
P. Bahr,
2018,
Mathematical Structures in Computer Science.
Patrick Bahr,
P. Bahr,
2015,
MPC.
Patrick Bahr,
Tom Hvitved,
2012,
MSFP.
Patrick Bahr,
2017,
FSCD.
Rasmus Ejlers Møgelberg,
Patrick Bahr,
Hans Bugge Grathwohl,
2017,
LICS 2017.
Patrick Bahr,
P. Bahr,
2011,
ArXiv.
Emil Axelsson,
Patrick Bahr,
2017,
Sci. Comput. Program..
Rasmus Ejlers Møgelberg,
Patrick Bahr,
Christian Graulund,
2019,
Proc. ACM Program. Lang..
Patrick Bahr,
2014,
Log. Methods Comput. Sci..
Jurriaan Hage,
Alejandro Serrano,
Patrick Bahr,
2015,
Haskell.
Patrick Bahr,
Tom Hvitved,
Tom Hvitved,
2011,
WGP@ICFP.
Fritz Henglein,
Jesper Andersen,
Patrick Bahr,
2014,
ISoLA.
Patrick Bahr,
P. Bahr,
2013,
TERMGRAPH.
Patrick Bahr,
2021
.
Patrick Bahr,
2021
.
Patrick Bahr,
Christian Uldal Graulund,
Rasmus Mogelberg,
2021,
Proc. ACM Program. Lang..
Patrick Bahr,
2011
.