Author Archives: jsiek
Gradual typing is a type system I developed with Walid Taha that allows parts of a program to be dynamically typed and other parts to be statically typed. The programmer controls which parts are which by either leaving out type … Continue reading
I gave a keynote titled The gradual typing approach to mixing static and dynamic typing, at Trends in Functional Programming (TFP) 2013. slides
POPL 2014 is in San Diego, January 2014.
Workshop on Foundations of Object-Oriented Languages (FOOL 2013), Oct. 27 or 28, co-located with SPLASH 2013 in Indianapolis.