download all originals (max 1 GB)| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| dyntype.sml | Text File | 109 | 3.1 KB | 1993-01-27 |
| overload.sig | Text File | 11 | 306 b | 1993-01-27 |
| overload.sml | Text File | 140 | 4.2 KB | 1993-01-27 |
| typecheck.sig | Text File | 9 | 274 b | 1993-01-27 |
| typecheck.sml | Text File | 568 | 20.9 KB | 1993-01-27 |