TY  - GEN
N2  - cse-99-008
DO  - 10.6083/g732d931g
DO  - DOI
AB  - cse-99-008
T1  - A dependently typed assembly language
DA  - 1999
AU  - Xi, Hongwei
L1  - https://digitalcollections.ohsu.edu/record/3931/files/csetech-248.pdf
PY  - 1999
ID  - 3931
L4  - https://digitalcollections.ohsu.edu/record/3931/files/csetech-248.pdf
TI  - A dependently typed assembly language
Y1  - 1999
L2  - https://digitalcollections.ohsu.edu/record/3931/files/csetech-248.pdf
LK  - https://digitalcollections.ohsu.edu/record/3931/files/csetech-248.pdf
UR  - https://digitalcollections.ohsu.edu/record/3931/files/csetech-248.pdf
ER  -