TY  - GEN
AB  - cse-98-002
AU  - Taha, Walid
DA  - 1998
DO  - 10.6083/pr76f369j
DO  - DOI
ID  - 3779
L1  - https://digitalcollections.ohsu.edu/record/3779/files/csetech-96.pdf
L2  - https://digitalcollections.ohsu.edu/record/3779/files/csetech-96.pdf
L4  - https://digitalcollections.ohsu.edu/record/3779/files/csetech-96.pdf
LK  - https://digitalcollections.ohsu.edu/record/3779/files/csetech-96.pdf
N2  - cse-98-002
PY  - 1998
T1  - Multi-stage programming: axiomatization and type safety
TI  - Multi-stage programming: axiomatization and type safety
UR  - https://digitalcollections.ohsu.edu/record/3779/files/csetech-96.pdf
Y1  - 1998
ER  -