Jeremy G. Siek - POPL 2017

Sun 15 - Sat 21 January 2017

Registered user since Thu 26 Jun 2014

Name: Jeremy G. Siek

Affiliation: Indiana University Bloomington

Personal website: http://homes.soic.indiana.edu/jsiek/

Contributions

POPL 2017	The State of the Art in Gradual Typing Automatically Generating the Dynamic Semantics of Gradually Typed Languages Big Types in Little Runtime: Open World Soundness and Collaborative Blame for Gradual Type System
Show activities from other conferences