Type Inference with Polymorphic Recursion
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivelsesdato: April
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | ACM Transactions on Programming Languages and Systems (TOPLAS) |
| Vol/bind | 15 |
| Udgave nummer | 2 |
| Sider (fra-til) | 253--289 |
| Antal sider | 37 |
| Status | Udgivet - 1993 |
Bibliografisk note
Paper id:: http://doi.acm.org/10.1145/169701.169692
ID: 3531604