[Colloq] Thesis Defense - Daniel Feltey - Gradual Typing for First-Class Modules - Thurs. April 30 - 1pm - 366 WVH

[Fong, Andy]

Thursday, April 30, 2015

1:00pm

366 WVH



Title: Gradual Typing for First-Class Modules



Abstract:



Units make up Racket's first-class module system. They allow separate compilation, dynamic loading, and cyclic linking and thus enable the construction of loosely coupled, highly parametrized application systems.  However, the lack of statically typed unit interfaces prevents an integration of unit-based Racket programs with its Typed Racket sister language.



A gradual type system such as Typed Racket extends the benefits of static type systems to dynamically typed languages. It enables programmers to incrementally annotate untyped programs with sound type annotations. That is, the typed portions of a program gain the advantages of static checking, while the remaining untyped portions are unaffected and cannot affect the safety of the typed portions.



Gradual typing can accommodate first-class modules in the spirit of Racket's units. I demonstrate this thesis in my MS dissertation through the design and implementation of an extension to Typed Racket supporting units and an evaluation of the practical aspects of gradually typed first-class modules.



Committee Members:

Matthias Felleisen

Sam Tobin-Hochstadt




Andrew W. Fong
Assistant Director for Graduate Admissions and Enrollment

Northeastern University
College of Computer and Information Science
360 Huntington Avenue
451 West Village H
Boston, MA 02115
617-373-8493
a.fong at neu.edu

Facebook<https://www.facebook.com/ccisatnu?ref=hl> | Instagram<https://instagram.com/ccisatnu/> | LinkedIn<https://www.linkedin.com/groups/Northeastern-University-College-Computer-Information-1943637?gid=1943637&mostPopular=&trk=tyah&trkInfo=idx%3A1-1-1%2CtarId%3A1426606862845%2Ctas%3ANortheastern+University+College+of+Com> | Twitter<https://twitter.com/CCISatNU>