Princeton University Library Catalog

Twelf as an Unified Framework for Language Formalization and Implementation

Author/​Artist:
Simmons, Robert [Browse]
Format:
Senior thesis
Language:
English
Advisor(s):
Walker, David P. [Browse]
Department:
Princeton University. Department of Computer Science [Browse]
Class year:
2005
Description:
54 Pages
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.