{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/91830"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/91830","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Galactic : an Ur/Web course management system","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.","abstract_html":"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.","abstract_has_math":false,"creators":["Hurst, Patrick M., II"],"institution":"Massachusetts Institute of Technology","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science.","school":null,"contributors":[],"advisors":["Adam Chlipala."],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014","date_published":"2014","updated_at":"2026-07-22T22:20:59Z","subjects":["Electrical Engineering and Computer Science."],"languages":["eng"],"rights":["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."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/1721.1/91830","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Adam Chlipala."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science."]},{"key":"dc:contributor.other","label":"Dc Contributor Other","values":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science."]},{"key":"dc:creator","label":"Author","values":["Hurst, Patrick M., II"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2014-11-24T18:38:01Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2014-11-24T18:38:01Z"]},{"key":"dc:date.issued","label":"Date","values":["2014"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Electrical Engineering and Computer Science."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["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."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/1721.1/91830"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["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)."]},{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["M. Eng."]},{"key":"dc:title","label":"Title","values":["Galactic : an Ur/Web course management system"]}]}],"canonical_facts":{"dc:contributor.advisor":["Adam Chlipala."],"dc:contributor.department":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science."],"dc:contributor.other":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science."],"dc:creator":["Hurst, Patrick M., II"],"dc:date.accessioned":["2014-11-24T18:38:01Z"],"dc:date.available":["2014-11-24T18:38:01Z"],"dc:date.issued":["2014"],"dc: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)."],"dc:description.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."],"dc:description.degree":["M. Eng."],"dc:identifier.uri":["http://hdl.handle.net/1721.1/91830"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["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."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Electrical Engineering and Computer Science."],"dc:title":["Galactic : an Ur/Web course management system"],"dc:type":["Thesis"]},"updated_at":"2026-07-22T22:20:59Z"}