Twelf as an Unified Framework for Language Formalization and Implementation

Author/​Artist
Simmons, Robert [Browse]
Format
Senior thesis
Language
English
Description
54 Pages

Details

Advisor(s)
Walker, David P. [Browse]
Department
Princeton University. Department of Computer Science [Browse]
Class year
2005
Restrictions note
This thesis can be viewed in person at the Mudd Manuscript Library. To order a copy complete the Senior Thesis Request Form. For more information contact mudd@princeton.edu.

Supplementary Information