[Colloq] PhD Thesis Proposal - Jesse Tov, Oct. 15

Rachel Kalweit rachelb at ccs.neu.edu
Tue Oct 5 16:33:25 EDT 2010


The College of Computer and Information Science presents:


Jesse Tov will present his Thesis Proposal on
Date: Friday, October 15th, 2010
Time: 1 PM
Location: 366 West Village H

Title: Practical Programming with Substructural Types

Abstract:
Substructural logics provide a framework for designing resource-aware
type systems. While several substructural type systems have been
proposed and implemented, these either have been developed for a
special purpose or have been too unwieldy for practical use. To make
substructural types suitable for general use, I propose an affine type
system that relies on expressive kinds to minimize notational burden
while maximizing polymorphism between affine and unlimited types. To
validate the feasibility and utility of this approach, I have
implemented Alms, a general-purpose language with affine types.

Committee:
Dr. Riccardo Pucella, NEU (Advisor)
Dr. Matthias Felleisen, NEU
Dr. Mitchell Wand, NEU
Dr. Matthew Fluet, Rochester Institute of Technology (Ext. Committee Member)




More information about the Colloq mailing list