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
Email: chuck.liang@mail.trincoll.edu
Sample SML code. Updated!
An implementation of Martelli-Montanari style
unification in SML.
SML Lab
SML Homework
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