Georg Stefan Schmid - SPLASH 2016

Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands

Registered user since Tue 27 Sep 2016

Name:Georg Stefan Schmid

Affiliation:EPFL, Switzerland

Contributions

2016

Scala

SMT-Based Checking of Predicate-Qualified Types for Scala

Show activities from other conferences

SPLASH 2016-profile
View general profile