Patrick Bahr IT University of Copenhagen

talks by year · talks by type · talks by topic

Compilers
[C29]
Patrick Bahr, presenting joint work with Graham Hutton
28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)
[C26]
Patrick Bahr, presenting joint work with Graham Hutton
27th ACM SIGPLAN International Conference on Functional Programming (ICFP 2022)
[C18]
Patrick Bahr
Mathematics of Program Construction, p. 159-186, 2015.
[M12]
Patrick Bahr
Talk, Language-Based Technology Group, DTU, 1/12/2014.
[C13]
Patrick Bahr
Functional and Logic Programming, p. 221-237, 2014.
[M10]
Patrick Bahr, presenting joint work with Graham Hutton
Talk, IFIP Working Group 2.1 Meeting, Zeegse, The Netherlands, 24/03/2014.
[M9]
Patrick Bahr, presenting joint work with Graham Hutton
Talk, 22nd Dutch Functional Programming Day 2014, University of Amsterdam, The Netherlands, 10/01/2014.
[M8]
Patrick Bahr
Talk, IT University of Copenhagen, 02/12/2013.
[M7]
Patrick Bahr, presenting joint work with Graham Hutton
Talk, FP Lunch, Functional Programming Lab, University of Nottingham, UK, 11/10/2013.
Domain-specific Languages
[C20]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015.
[M14]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Talk, FP Lunch, School of Computer Science, University of Nottingham, 17/07/2015.
[M13]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Talk, HIPERFIT Workshop, 10/12/2014.
[M12]
Patrick Bahr
Talk, Language-Based Technology Group, DTU, 1/12/2014.
[C16]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014.
[C15]
Patrick Bahr, presenting joint work with Jesper Andersen, Fritz Henglein and Tom Hvitved
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, p. 73-95, 2014.
[C6]
Patrick Bahr
Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 24-26, 2011.
Formal Verification
[C29]
Patrick Bahr, presenting joint work with Graham Hutton
28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)
[C26]
Patrick Bahr, presenting joint work with Graham Hutton
27th ACM SIGPLAN International Conference on Functional Programming (ICFP 2022)
[C20]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015.
[M14]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Talk, FP Lunch, School of Computer Science, University of Nottingham, 17/07/2015.
[C18]
Patrick Bahr
Mathematics of Program Construction, p. 159-186, 2015.
[M13]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Talk, HIPERFIT Workshop, 10/12/2014.
[M12]
Patrick Bahr
Talk, Language-Based Technology Group, DTU, 1/12/2014.
[C16]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014.
[C13]
Patrick Bahr
Functional and Logic Programming, p. 221-237, 2014.
[M10]
Patrick Bahr, presenting joint work with Graham Hutton
Talk, IFIP Working Group 2.1 Meeting, Zeegse, The Netherlands, 24/03/2014.
[M9]
Patrick Bahr, presenting joint work with Graham Hutton
Talk, 22nd Dutch Functional Programming Day 2014, University of Amsterdam, The Netherlands, 10/01/2014.
[M8]
Patrick Bahr
Talk, IT University of Copenhagen, 02/12/2013.
[M7]
Patrick Bahr, presenting joint work with Graham Hutton
Talk, FP Lunch, Functional Programming Lab, University of Nottingham, UK, 11/10/2013.
Functional Programming
[C30]
Patrick Bahr, presenting joint work with Emil Houlborg and Gregers Thomas Skat Rørdam
Practical Aspects of Declarative Languages, p. 18-36, 2024.
[C28]
Patrick Bahr, presenting joint work with Rasmus Ejlers Møgelberg
28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)
[C27]
Patrick Bahr
28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)
[C25]
Patrick Bahr, presenting joint work with Christian Uldal Graulund and Rasmus Ejlers Møgelberg
48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)
[C19]
Patrick Bahr, presenting joint work with Alejandro Serrano and Jurriaan Hage
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, p. 129-140, 2015.
[C17]
Patrick Bahr, presenting joint work with Emil Axelsson
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38, 2015.
[C14]
Patrick Bahr
Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming, p. 71-82, 2014.
[M11]
Patrick Bahr
Talk, Utrecht University, Software Technology Group Meeting, 2014/06/20.
[C13]
Patrick Bahr
Functional and Logic Programming, p. 221-237, 2014.
[C12]
Patrick Bahr, presenting joint work with Laurence E. Day
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, p. 61-72, 2013.
[M6]
Patrick Bahr, presenting joint work with Laurence E. Day
Talk, Functional Programming Lab Away Day, Cressbrook Hall, Buxton, England, 13/06/2013.
[C10]
Patrick Bahr
Mathematics of Program Construction, p. 263-299, 2012.
[M5]
Patrick Bahr
Talk, Computing Science Colloquium, Utrecht University, The Netherlands, 12/04/2012.
[C8]
Patrick Bahr, presenting joint work with Tom Hvitved
Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012.
[C6]
Patrick Bahr
Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 24-26, 2011.
[C7]
Patrick Bahr
Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 38-40, 2011.
[C5]
Patrick Bahr, presenting joint work with Tom Hvitved
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, p. 83-94, 2011.
[C3]
Patrick Bahr
Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, 2011.
Recursion Schemes
[C17]
Patrick Bahr, presenting joint work with Emil Axelsson
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38, 2015.
[C14]
Patrick Bahr
Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming, p. 71-82, 2014.
[M11]
Patrick Bahr
Talk, Utrecht University, Software Technology Group Meeting, 2014/06/20.
[C12]
Patrick Bahr, presenting joint work with Laurence E. Day
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, p. 61-72, 2013.
[M6]
Patrick Bahr, presenting joint work with Laurence E. Day
Talk, Functional Programming Lab Away Day, Cressbrook Hall, Buxton, England, 13/06/2013.
[C10]
Patrick Bahr
Mathematics of Program Construction, p. 263-299, 2012.
[M5]
Patrick Bahr
Talk, Computing Science Colloquium, Utrecht University, The Netherlands, 12/04/2012.
[C8]
Patrick Bahr, presenting joint work with Tom Hvitved
Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012.
[C7]
Patrick Bahr
Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 38-40, 2011.
[C5]
Patrick Bahr, presenting joint work with Tom Hvitved
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, p. 83-94, 2011.
[C3]
Patrick Bahr
Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, 2011.
Rewriting
[C24]
Patrick Bahr
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), p. 8:1-8:16, 2018.
[I2]
Patrick Bahr
Invited Talk, 6th International Workshop on Confluence, 8/9/2017.
[C22]
Patrick Bahr
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), p. 8:1-8:20, 2017.
[M16]
Patrick Bahr, presenting joint work with Rasmus Ejlers Møgelberg and Hans Bugge Grathwohl
Talk, FP Lunch, Functional Programming Lab, University of Nottingham, UK, 16/09/2016.
[M15]
Patrick Bahr, presenting joint work with Rasmus Ejlers Møgelberg
Talk, IFIP Working Group 2.1 Meeting, Glasgow, UK, 15/06/2016.
[C11]
Patrick Bahr
Proceedings 7th International Workshop on Computing with Terms and Graphs, p. 17-28, 2013.
[C9]
Patrick Bahr
23rd International Conference on Rewriting Techniques and Applications (RTA'12), p. 69-84, 2012.
[M4]
Patrick Bahr
Talk, TF Lunch, Utrecht University, The Netherlands, 04/04/2012.
[M3]
Patrick Bahr
Talk, TeReSe: 17th Informal Workshop on Term Rewriting, Aachen, Germany, 28/03/2012.
[M2]
Patrick Bahr
Talk, TCS and PAM Seminar, VU University Amsterdam, 24/02/2012.
[C4]
Patrick Bahr
22nd International Conference on Rewriting Techniques and Applications (RTA'11), p. 139-154, 2011.
[I1]
Patrick Bahr
Invited Talk, 6th International Workshop on Computing with Terms and Graphs, 01/04/2011.
[M1]
Patrick Bahr
Talk, 16th Estonian Winter School in Computer Science, 28/02/2011.
[C1]
Patrick Bahr
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, p. 49-66, 2010.
Best Contribution to RTA 2010
[C2]
Patrick Bahr
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, p. 67-84, 2010.
Best Contribution to RTA 2010
Paper of the Year of the Department of Computer Science (DIKU)
Type Systems
[C30]
Patrick Bahr, presenting joint work with Emil Houlborg and Gregers Thomas Skat Rørdam
Practical Aspects of Declarative Languages, p. 18-36, 2024.
[C28]
Patrick Bahr, presenting joint work with Rasmus Ejlers Møgelberg
28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)
[C27]
Patrick Bahr
28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)
[C25]
Patrick Bahr, presenting joint work with Christian Uldal Graulund and Rasmus Ejlers Møgelberg
48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)
[C23]
Patrick Bahr, presenting joint work with Bassel Mannaa and Rasmus Ejlers Møgelberg
Programming And Reasoning on Infinite Structures, 2018.
[C21]
Patrick Bahr, presenting joint work with Hans Bugge Grathwohl and Rasmus Ejlers Møgelberg
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017.
[M17]
Patrick Bahr
Talk, 23rd International Conference on Types for Proofs and Programs, Budapest, Hungary, 31/05/2017.
[C20]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015.
[C19]
Patrick Bahr, presenting joint work with Alejandro Serrano and Jurriaan Hage
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, p. 129-140, 2015.
[M14]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Talk, FP Lunch, School of Computer Science, University of Nottingham, 17/07/2015.
[M13]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Talk, HIPERFIT Workshop, 10/12/2014.
[M12]
Patrick Bahr
Talk, Language-Based Technology Group, DTU, 1/12/2014.
[C14]
Patrick Bahr
Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming, p. 71-82, 2014.
[M11]
Patrick Bahr
Talk, Utrecht University, Software Technology Group Meeting, 2014/06/20.
[C12]
Patrick Bahr, presenting joint work with Laurence E. Day
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, p. 61-72, 2013.
[M6]
Patrick Bahr, presenting joint work with Laurence E. Day
Talk, Functional Programming Lab Away Day, Cressbrook Hall, Buxton, England, 13/06/2013.
[C8]
Patrick Bahr, presenting joint work with Tom Hvitved
Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012.
[C7]
Patrick Bahr
Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 38-40, 2011.
[C5]
Patrick Bahr, presenting joint work with Tom Hvitved
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, p. 83-94, 2011.
[C3]
Patrick Bahr
Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, 2011.
Type Theory
[M16]
Patrick Bahr, presenting joint work with Rasmus Ejlers Møgelberg and Hans Bugge Grathwohl
Talk, FP Lunch, Functional Programming Lab, University of Nottingham, UK, 16/09/2016.
[M15]
Patrick Bahr, presenting joint work with Rasmus Ejlers Møgelberg
Talk, IFIP Working Group 2.1 Meeting, Glasgow, UK, 15/06/2016.
Miscellaneous
[S1]
Patrick Bahr
Student Project, Dresden University of Technology, 2007.