Author Archives: jsiek

About jsiek

Jeremy is a 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.

MWPLS 2017: Midwest Programming Languages Summit

You can find the web page here.

Posted in Uncategorized | Leave a comment

What is Gradual Typing

(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

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