Pascal Wittmann - SPLASH 2014

Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

Registered user since Thu 18 Sep 2014

Name:Pascal Wittmann

Affiliation:TU Darmstadt

Contributions

2014

SPLASH

A Language for the Specification and Efficient Implementation of Type Systems

Show activities from other conferences

SPLASH 2014-profile
View general profile