Author Archives: jsiek
(For a Japanese translation, go here) Gradual typing is a type system I developed with Walid Taha in 2006 that allows parts of a program to be dynamically typed and other parts to be statically typed. The programmer controls which … 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.