FYE-1600: What We Know That Just Ain't So
CSCI-2322: Principles of Functional Languages
CSCI-3394: Seminar (Formal Verification)
CSCI-1323: Discrete Structures
CSCI-3368: Principles of Programming Languages
CSCI-2322: Principles of Functional Languages
CSCI-3396: Compilers (Special Topics in Systems)
CSCI-1323: Discrete Structures
CSCI-2322: Principles of Functional Languages
CSCI-3396: Compilers (Special Topics in Systems)
CSCI-1323: Discrete Structures
CSCI-1311: Introduction to Programming Logic
CSCI-2322: Principles of Functional Languages
CSCI-3368: Principles of Programming Langauges
CSCI-1323: Discrete Structures
CSCI-1311: Introduction to Programming Logic
CSCI-2322: Principles of Functional Languages
CSCI-1311: Introduction to Programming Logic
CSCI-1323: Discrete Structures
CSCI-1311: Introduction to Programming Logic
CSCI-1311: Introduction to Programming Logic
CSCI-3368: Principles of Programming Languages