Galactic : an Ur/Web course management system
Name
894228936-MIT.pdf
Description
Full printable version
Size
2.34 MB
Format
Adobe PDF
Checksum (MD5)
e9d2ceca2e55563f6e3a9612fd03652d
Author(s)
Hurst, Patrick M., II
Advisor(s)
Adam Chlipala.
Alternative Title
Ur/Web course management system
Date Issued
2014
Publisher
Massachusetts Institute of Technology
Abstract
Ur/Web is a modern ML-like Web-oriented programming language with a type system that both ensures program correctness and provides powerful metaprogramming capabilities. This thesis describes techniques that allow construction of modular applications where the individual modules can be specified simply, using metaprogramming and module functors to generate the actual code from a few simple lines of mostly declarative code. In particular, I present a novel technique for indirect cross-module recursion and a flexible abstraction for form elements.
Description
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2014.
Cataloged from PDF version of thesis.
Includes bibliographical references (page 63).
Subjects
Electrical Engineering and Computer Science.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission.
Persistent DSpace Link
