BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Generating Gradual Typing Systems with the Gradualizer - Jeremy Si
 ek\, Indiana University
DTSTART:20160408T130000Z
DTEND:20160408T140000Z
UID:TALK65049@talks.cam.ac.uk
CONTACT:Dominic Mulligan
DESCRIPTION:Many languages are beginning to integrate dynamic and static t
 yping. Gradual typing is an approach to this integration that provides a s
 mooth migration between the two disciplines. However\, the literature lack
 s a general methodology for designing gradually typed languages. Towards a
 ddressing this\, I present a methodology for deriving a gradual type syste
 m and compiler from a fully static type system.  I also present a program\
 , "the Gradualizer"\, that makes this methodology precise by transforming 
 a type system\, expressed in lambda-prolog\, into its gradual type system\
 , also expressed in lambda-prolog. The Gradualizer currently handles simpl
 y typed languages\; I demonstrate its use on many of the languages in TAPL
 . I conclude the talk with a overview of recent work to extend the Gradual
 izer to languages with quantified types.
LOCATION:FW26
END:VEVENT
END:VCALENDAR