Registered user since Thu 26 Jun 2014

Name: Jeremy G. Siek

Affiliation: Indiana University Bloomington

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

POPL 2017 Activities

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