Operational Semantics and Polymorphic Type Inference
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Ph.D. thesis
| Original language | English |
|---|---|
| Title of host publication | Technical Report CST-52-88 |
| Place of Publication | Edinburgh |
| Publisher | Edinburgh Univ., Dept.Computer Science |
| Publication date | 1988 |
| Pages | 204 |
| Publication status | Published - 1988 |
ID: 301777