[Pl-seminar] PhD Defense, Sam Tobin-Hochstadt

[Aaron Turon]

---------- Forwarded message ----------
From: Rachel Kalweit <rachelb at ccs.neu.edu>
Date: Wed, Dec 2, 2009 at 12:47 PM
Subject: [CCIS grad] [Colloq] PhD Defense, Sam Tobin-Hochstadt
To: colloq <colloq at lists.ccs.neu.edu>


The College of Computer and Information Science presents:

PhD Thesis Defense by Sam Tobin-Hochstadt

Date: Tuesday, December 8
Time: 1:30pm
Place: 366 West Village H

Title: Typed Scheme: From Scripts to Programs

Abstract:
The field of programming languages has recently experienced a
renaissance, especially in the field of untyped scripting languages.
But when scripts written in untyped languages grow into large
programs, they may also become difficult to maintain. To improve the
maintainability of programs in untyped languages, I propose porting
portions into typed sister languages. To demonstrate the feasibility
of this approach, I have developed Typed Scheme, a typed variant of
PLT Scheme. Typed Scheme provides smooth and sound interoperability
with untyped PLT Scheme; it also features a novel type system that
supports idiomatic Scheme programming, so that the porting process is
relatively straightforward. I have validated the effectiveness of
Typed Scheme by porting thousands of lines of untyped PLT Scheme code.

Committee:
Matthias Felleisen
Mitchell Wand
Olin Shivers
Guy Steele