Patrick Bahr

Patrick Bahr

IT University of Copenhagen - Copenhagen / Denmark
Others
AD Scientific Index ID: 1510771
IT-Universitetet i København
person_outline Patrick Bahr's MOST POPULAR ARTICLES
1-) Compositional data types ACM SIGPLAN Workshop on Generic programming, 83-94, 2011
2-) The clocks are ticking: No more delays! 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
3-) Calculating correct compilers Journal of Functional Programming, 2015
4-) Certified Symbolic Management of Financial Multi-Party Contracts 20th ACM SIGPLAN International Conference on Functional Programming, 2015
5-) Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks Proceedings of the ACM on Programming Languages 3 (ICFP), 1-27, 2019