Dr. Chuck C. Liang
Visiting Assistant Professor of Computer Science
Office: MCEC 343, 300 Summit Street, Hartford, CT 06106-3100
Office Phone: (860 297) 5395
Sample SML code. Updated!
An implementation of Martelli-Montanari style unification in SML.
My Solution to the SML Homework
Theorem Prover Assignment. Due Date: REAL SOON.
SML basic utilies <- you might find these useful.
My interactive theorem prover.
Halting Problem in Scheme for pure lambda terms