TY  - GEN
DO  - 10.6083/M4N877QF
DO  - DOI
AD  - Oregon Health and Science University
T1  - The role of type equality in meta-programming
DA  - 2004
AU  - Pasalic, Emir
L1  - https://digitalcollections.ohsu.edu/record/111/files/111_etd.pdf
PB  - Oregon Health and Science University
PY  - 2004
ID  - 111
L4  - https://digitalcollections.ohsu.edu/record/111/files/111_etd.pdf
KW  - computer programming
KW  - type theory
KW  - programming languages (electronic computers)
KW  - logic programming
TI  - The role of type equality in meta-programming
Y1  - 2004
L2  - https://digitalcollections.ohsu.edu/record/111/files/111_etd.pdf
LK  - https://digitalcollections.ohsu.edu/record/111/files/111_etd.pdf
UR  - https://digitalcollections.ohsu.edu/record/111/files/111_etd.pdf
ER  -