BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Integration of Typed and Untyped Code in a Scripting Language - Fr
 ancesco Zappa Nardelli
DTSTART:20091005T114500Z
DTEND:20091005T130000Z
UID:TALK20598@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:We will begin by scheduling talks for this term\, and then Fra
 ncesco will give his talk:\n\nMany large software systems originate from u
 ntyped scripting language code. While good for initial development\, the l
 ack of static type annotations can impact code-quality and performance in 
 the long run. We present an approach for integrating untyped\, or dynamica
 lly typed\, code and typed code in the same system to allow an initial pro
 totype to be smoothly evolved into an efficient and robust program. Our ap
 proach adds like types\, a novel intermediate point between dynamic and st
 atic typing. Locally to their scope\, like types variables are checked sta
 tically\, but as they may be bound to dynamic values their usage is checke
 d dynamically. Thus like types provide some of the benefits of static typi
 ng without substantially decreasing the expressiveness of the language. We
  provide a formal account of like types in a core object calculus and eval
 uate their applicability in the context of a new scripting language.\n\nCo
 llaboration with T. Wrigstad\, S. Lebresne\, J. Ostlund\, J. Vitek (Purdue
  University).
LOCATION:Room FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR