TY - GEN N2 - cse-99-005 DO - 10.6083/g732d9306 DO - DOI AB - cse-99-005 T1 - Symbolic simulation of microprocessor models using type classes in Haskell DA - 1999 AU - Day, Nancy A. L1 - https://digitalcollections.ohsu.edu/record/3929/files/csetech-246.pdf PY - 1999 ID - 3929 L4 - https://digitalcollections.ohsu.edu/record/3929/files/csetech-246.pdf TI - Symbolic simulation of microprocessor models using type classes in Haskell Y1 - 1999 L2 - https://digitalcollections.ohsu.edu/record/3929/files/csetech-246.pdf LK - https://digitalcollections.ohsu.edu/record/3929/files/csetech-246.pdf UR - https://digitalcollections.ohsu.edu/record/3929/files/csetech-246.pdf ER -