Applications of Extensible Type Systems — Presentation Detail — Celebration of Scholars

Additional Information

More information is available at carthage.edu/celebration-scholars/. The following are members of the Research, Scholarship, and Creativity Committee who are eager to listen to ideas and answer questions:

Thomas Carr
Katherin Hilson
Kim Instenes
John Kirk
Sarah Terrill

Applications of Extensible Type Systems

Name: Nathan Fulton
Major: Computer Science
Hometown: St. Louis, MO
Faculty Sponsor:
Other Sponsors:
Type of research: Independent research
Funding: This work was supported by a grant from the Army Research Ofﬁce under Award No. W911NF-09-1-0273.

Abstract

Type systems are a useful and popular mechanism for ensuring programs are free of certain classes of errors. Programming language researchers often wish to extend these type systems to reason about specific problem domains, such as web application security, cluster computing or the implementation of complicated algorithms. In our research, we investigate the usefulness of domain-specific type systems through a discussion of several extension implementations. We then present progress toward the implementation of a programming language for safely implementing such extensions.

Poster file

Submit date: March 15, 2013, 1:06 p.m.