Fall 1998

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

- HTML Introduction To Automated Theorem Proving. This was used in a class taught in the UK. You may find some of the links useful.
- A Logic and Computation course homepage. This was for a simlar course, though taught using Lambda Prolog, a higher-order logic programming language.
- Standard ML Homepage. Contains everything relating to this programming language, includes downloadable compilers.

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