Index of /~leavens/ComS541-Watt-Semantics/old-homework/Spring94

	Name	Last modified	Size	Description
	Parent Directory		-
	lambda-prolog-code/	2014-12-30 23:46	-
	mini_cecil_sml/	2014-12-30 23:47	-
	prisoners/	2014-12-30 23:46	-
	README	1996-05-24 13:48	733
	hw0.e.txt	1994-01-26 11:51	1.0K
	hw0.b.txt	1994-01-10 16:23	1.0K
	hw0.a.txt	1994-01-10 16:23	1.0K
	hw0.d.txt	1994-01-10 16:13	1.1K
	hw0.c.txt	1994-01-10 16:23	1.1K
	hw0.g.txt	1994-01-10 17:01	1.3K
	hw0.i.txt	1994-01-10 17:21	1.4K
	hw0.h.txt	1994-01-10 17:13	1.5K
	hw0.f.txt	1994-01-10 16:50	1.5K
	hw0.j.txt	1994-01-10 17:30	1.6K
	hw0.k.txt	1994-01-10 17:31	1.6K
	hw0.l.txt	1994-01-10 17:38	1.8K
	hw0.p.txt	1994-01-11 12:18	1.9K
	hw0.o.txt	1994-01-10 17:52	2.0K
	hw0.m.txt	1994-01-10 17:42	2.0K
	hw0.n.txt	1994-01-10 17:52	2.0K
	hw5-functional-summary.ps.gz	1996-05-17 10:57	8.7K
	hw9-denotational-semantics.ps.gz	1996-05-17 10:58	9.6K
	hw1-oop-smalltalk.ps.gz	1996-05-17 10:57	11K
	hw8-operational-semantics.ps.gz	1996-05-17 10:57	12K
	hw6-lambda-prolog.ps.gz	1996-05-17 10:57	13K
	hw4-fun-advanced.ps.gz	1996-05-17 10:57	13K
	hw3-fun-sml.ps.gz	1996-05-17 10:57	15K
	mini_cecil_abstract_syntax.ps.gz	1996-05-17 10:58	16K
	hw7-lambda-prolog-type-inference.ps.gz	1996-05-17 10:57	16K
	hw2-oop-smalltalk.ps.gz	1996-05-17 10:57	17K