
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