| Original language | English |
|---|---|
| Title of host publication | POPL '82 |
| Subtitle of host publication | Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
| Pages | 207-212 |
| Number of pages | 6 |
| DOIs | |
| Publication status | Published - 1982 |
Principal Type-Schemes for Functional Programs
Luís Damas, Robin Milner
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution