000002532 001__ 2532 000002532 005__ 20251007004812.0 000002532 0247_ $$2DOI$$a10.6083/M47W69HP 000002532 037__ $$aETD 000002532 245__ $$aStatic types for dynamic documents 000002532 260__ $$bOregon Graduate Institute of Science and Technology 000002532 269__ $$a2001-02-01 000002532 336__ $$aDissertation 000002532 502__ $$bPh.D. 000002532 502__ $$gComputer Science & Electrical Engineering (sunsetting) 000002532 520__ $$aThis thesis develops the core type system for a Haskell-like functional programming language that directly supports dynamic, active documents. The first part presents a system of type-indexed rows, that supports many aspects of XML's regular-expression types without abandoning the type features which make functional programming at tractive. In particular, type-indexed rows coexist cleanly with higher-order types and parametric polymorphism. The second part presents a system of staged computation, that allows server-side and client-side code to be cleanly separated 000002532 540__ $$fCC BY 000002532 542__ $$fIn copyright - single owner 000002532 650__ $$aComputers$$016992 000002532 650__ $$aProgramming Languages$$024648 000002532 691__ $$aOGI School of Science and Engineering$$041365 000002532 692__ $$aOGI Department of Computer Science and Engineering$$041405 000002532 7001_ $$aShields, Mark$$uOregon Graduate Institute of Science and Technology$$041352 000002532 7201_ $$aLaunchbury, John$$uOregon Graduate Institute of Science and Technology$$041352$$7Personal$$eAdvisor 000002532 8564_ $$9b2b76c3a-a6d2-4283-a17b-9d5362a59f71$$s20390305$$uhttps://digitalcollections.ohsu.edu/record/2532/files/3273_etd.pdf$$ePublic$$2801f5a385df22f62fea7d688c7355c08$$31 000002532 905__ $$a/rest/prod/34/84/zh/21/3484zh21f 000002532 909CO $$ooai:digitalcollections.ohsu.edu:2532$$pstudent-work 000002532 980__ $$aTheses and Dissertations