[Colloq] Fwd: PhD Thesis Proposal: TODAY - 10/16/08 3pm

[Rachel Kalweit]

Rachel M. Kalweit
College of Computer and Information Science
202 West Village H
Northeastern University
phone: 617-373-2462
fax: 617-373-5121
rachelb at ccs.neu.edu

----- Forwarded Message -----
From: "Alexa Del Greco" <alexa at ccs.neu.edu>
To: "colloq" <colloq at lists.ccs.neu.edu>
Cc: "Rachel Kalweit" <rachelb at ccs.neu.edu>
Sent: Thursday, October 16, 2008 12:19:43 PM GMT -05:00 US/Canada Eastern
Subject: PhD Thesis Proposal: 10/16/08

PhD Thesis Proposal
=====================================

STUDENT: Sam Tobin-Hochstadt

Title: Typed Scheme: Bringing Types to Untyped Languages

Thursday, Oct 16, 2008
3:00 PM
366 West Village H

Abstract
Programming languages has recently experienced a renaissance,
especially in the field of untyped scripting languages. But when
scripts written in untyped languages grow large, they may also grow
difficult to maintain. To improve the maintainability of untyped
language programs, we propose porting portions of them into typed
languages. To validate the feasibility of this approach, we have
developed Typed Scheme, a typed sister language to PLT Scheme. Typed
Scheme provides smooth and sound interoperability with untyped PLT
Scheme. It features a type system that supports idiomatic Scheme
programming, so that the porting process is relatively
straightforward.

Thesis committee members:
Prof. Matthias Felleisen (advisor)
Prof. Mitch Wand
Prof. Olin Shivers
Dr. Guy Steele (external member, Sun Microsystems Laboratories)