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