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	Author of The State of the Art in Gradual Typing within the Tutorials-track Author of Automatically Generating the Dynamic Semantics of Gradually Typed Languages within the POPL-track Author of Big Types in Little Runtime: Open World Soundness and Collaborative Blame for Gradual Type System within the POPL-track
Show activities from other conferences