P. Bahr
发表
P. Bahr,
Thomas W. Judson,
Stephen F. Austin,
2020,
Applied and Numerical Harmonic Analysis.
P. Bahr,
J. Berthold,
M. Elsman,
2014
.
P. Bahr,
2019
.
P. Bahr,
Laurence E. Day,
2014
.
P. Bahr,
2011
.
P. Bahr,
2022
.
P. Bahr,
2022,
Journal of Functional Programming.
Graham Hutton,
Patrick Bahr,
G. Hutton,
2020,
Journal of Functional Programming.
Patrick Bahr,
P. Bahr,
2018,
Mathematical Structures in Computer Science.
Patrick Bahr,
P. Bahr,
2013,
TERMGRAPH.
Patrick Bahr,
P. Bahr,
2012,
Log. Methods Comput. Sci..
Patrick Bahr,
P. Bahr,
2011,
ArXiv.
Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting
Patrick Bahr,
P. Bahr,
2012
.
Patrick Bahr,
P. Bahr,
2011,
RTA.
Graham Hutton,
Patrick Bahr,
G. Hutton,
2015,
Journal of Functional Programming.
Rasmus Ejlers Møgelberg,
Patrick Bahr,
Christian Uldal Graulund,
2020,
Proc. ACM Program. Lang..
Rasmus Ejlers Møgelberg,
Patrick Bahr,
Hans Bugge Grathwohl,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Rasmus Ejlers Møgelberg,
Patrick Bahr,
Hans Bugge Grathwohl,
2017,
LICS 2017.
Rasmus Ejlers Møgelberg,
P. Bahr,
R. E. Møgelberg,
2023,
Proc. ACM Program. Lang..
Rasmus Ejlers Møgelberg,
Patrick Bahr,
Christian Graulund,
2019,
Proc. ACM Program. Lang..
Fritz Henglein,
Jesper Andersen,
Patrick Bahr,
2014,
ISoLA.
P. Bahr,
Hans,
2017
.
P. Bahr,
2007
.
G. Hutton,
P. Bahr,
2023,
Proceedings of the ACM on Programming Languages.
Patrick Bahr,
Tom Hvitved,
Tom Hvitved,
2011,
WGP@ICFP.
Martin Elsman,
Jost Berthold,
Patrick Bahr,
2015,
ICFP.
Patrick Bahr,
P. Bahr,
2015,
MPC.