Joachim Breitner

Registered user since Thu 17 Mar 2016

Name:Joachim Breitner
Country:United States
Affiliation:University of Pennsylvania

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