[Colloq] Thesis Defense by Jesse Tov, Friday 2/10/12 : Practical Programming with Substructural Types

[Nicole Bekerian]

The College of Computer and Information Science Presents:

Date: Friday, February 10th, 2012
Time: 3:00pm
Place: West Village H 366

Thesis Defense
Title:  Practical Programming with Substructural Types
Speaker: Jesse Tov
Advisor:  Riccardo Pucella

Abstract:

Substructural logics remove from classical logic rules for reordering, duplication, or dropping of assumptions. Because propositions in such a logic may no longer be freely copied or ignored, this suggests understanding propositions in substructural logics as representing resources rather than truth. For the programming language designer, substructural logics thus provide a framework for considering type systems that can track the changing states of logical and physical resources.

While several substructural type systems have been proposed and implemented, many of these have targeted substructural types at a particular purpose, rather than offering them as a general facility.
The more general substructural type systems have been theoretical in nature and too unwieldy for practical use. This dissertation presents the design of a general purpose language with substructural types, and discusses several language design problems that had to be solved in order to make substructural types useful in practice.




-- 




Best, 
Nicole 

______________________________________________________________ 

Nicole Bekerian 
Administrative Assistant 

Northeastern University 
College of Computer and Information Science 
360 Huntington Ave. 
202 West Village H 
Boston, MA 02115 

Phone: 617.373.2462 
Fax: 617.373.5121