Registered user since Thu 17 Mar 2016
Name:Joachim Breitner
Country:United States
Affiliation:University of Pennsylvania
Personal website:http://cis.upenn.edu/~joachim/
Contributions
| CPP 2018 | Total Haskell is Reasonable Coq | ||||||||||||||||||||||||||||||||||||||||
| POPL 2018 | Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile