000000111 001__ 111 000000111 005__ 20231130114537.0 000000111 0247_ $$2DOI$$a10.6083/M4N877QF 000000111 037__ $$aETD 000000111 245__ $$aThe role of type equality in meta-programming 000000111 260__ $$bOregon Health and Science University 000000111 269__ $$a2004 000000111 336__ $$aDissertation 000000111 502__ $$bPh.D. 000000111 540__ $$fCC BY 000000111 542__ $$fIn copyright - single owner 000000111 6531_ $$acomputer programming 000000111 6531_ $$atype theory 000000111 6531_ $$aprogramming languages (electronic computers) 000000111 6531_ $$alogic programming 000000111 691__ $$aOGI School of Science and Engineering$$041365 000000111 692__ $$aDepartment of Computer Science and Engineering$$041405 000000111 7001_ $$aPasalic, Emir 000000111 7001_ $$uOregon Health and Science University$$041354 000000111 8564_ $$928fb26b3-df35-46d6-8e73-55ef613381bc$$s10523123$$uhttps://digitalcollections.ohsu.edu/record/111/files/111_etd.pdf 000000111 905__ $$a/rest/prod/fn/10/6x/93/fn106x93g 000000111 909CO $$ooai:digitalcollections.ohsu.edu:111$$pstudent-work 000000111 980__ $$aTheses and Dissertations