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 typesP Bahr, T HvitvedACM SIGPLAN Workshop on Generic programming, 83-94, 2011612011
2-) The clocks are ticking: No more delays!P Bahr, HB Grathwohl, RE Møgelberg32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017482017
3-) Certified Symbolic Management of Financial Multi-Party ContractsP Bahr, J Berthold, M Elsman20th ACM SIGPLAN International Conference on Functional Programming, 2015392015
4-) Calculating correct compilersP Bahr, G HuttonJournal of Functional Programming, 2015422015
5-) Simply RaTT: a fitch-style modal calculus for reactive programming without space leaksP Bahr, CU Graulund, RE MøgelbergProceedings of the ACM on Programming Languages 3 (ICFP), 1-27, 2019372019