TY  - GEN
AB  - This 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
AD  - Oregon Graduate Institute of Science and Technology
AU  - Shields, Mark
DA  - 2001-02-01
DO  - 10.6083/M47W69HP
DO  - DOI
ED  - Launchbury, John
ED  - Advisor
ID  - 2532
KW  - Computers
KW  - Programming Languages
L1  - https://digitalcollections.ohsu.edu/record/2532/files/3273_etd.pdf
L2  - https://digitalcollections.ohsu.edu/record/2532/files/3273_etd.pdf
L4  - https://digitalcollections.ohsu.edu/record/2532/files/3273_etd.pdf
LK  - https://digitalcollections.ohsu.edu/record/2532/files/3273_etd.pdf
N2  - This 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
PB  - Oregon Graduate Institute of Science and Technology
PY  - 2001-02-01
T1  - Static types for dynamic documents
TI  - Static types for dynamic documents
UR  - https://digitalcollections.ohsu.edu/record/2532/files/3273_etd.pdf
Y1  - 2001-02-01
ER  -