Type Inference with Polymorphic Recursion
Research output: Contribution to journal › Journal article › Research › peer-review
Udgivelsesdato: April
| Original language | English |
|---|---|
| Journal | ACM Transactions on Programming Languages and Systems (TOPLAS) |
| Volume | 15 |
| Issue number | 2 |
| Pages (from-to) | 253--289 |
| Number of pages | 37 |
| Publication status | Published - 1993 |
ID: 3531604