Joachim Breitner

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