Author Archives: jsiek

About jsiek

Jeremy is an Associate Professor in Computer Science at Indiana University Bloomington. He teaches courses in programming languages, compilers, and other areas of computer science. Jeremy designs new programming language features to make life easier for programmers who create and use software libraries.

What is Gradual Typing

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 parts are which by either leaving … Continue reading

Posted in Blog | Leave a comment

Keynote at TFP 2013

I gave a keynote titled The gradual typing approach to mixing static and dynamic typing, at Trends in Functional Programming (TFP) 2013. slides

Posted in News | Leave a comment

Program Committee: POPL 2014

POPL 2014 is in San Diego, January 2014.

Posted in News | Leave a comment

Organizing FOOL 2013

Workshop on Foundations of Object-Oriented Languages (FOOL 2013), Oct. 27 or 28, co-located with SPLASH 2013 in Indianapolis.

Posted in News | Leave a comment