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

Instructions

Student presentations must have a faculty sponsor.

Abstracts must include a title and a description of the research, scholarship, or creative work. The description should be 150-225 words in length and constructed in a format or style appropriate for the presenter’s discipline.

The following points should be addressed within the selected format or style for the abstract:

A clear statement of the problem or question you pursued, or the scholarly goal or creative theme achieved in your work.
A brief comment about the significance or uniqueness of the work.
A clear description of the methods used to achieve the purpose or goals for the work.
A statement of the conclusions, results, outcomes, or recommendations, or if the work is still in progress, the results you expect to report at the event.

Presenter photographs should be head and shoulder shots comparable to passport photos.

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:

Jun Wang
Kim Instenes
John Kirk
Nora Nickels
Andrew Pustina
James Ripley

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