Dynamic Typing: Syntax and Proof Theory
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Dynamic typing, coercions, dynamically typed lambda-calculus, type inference coherence, completions, safety, minimality
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Science of Computer Programming |
| Vol/bind | 22 |
| Udgave nummer | 3 |
| Sider (fra-til) | 197-230 |
| Antal sider | 34 |
| ISSN | 0167-6423 |
| Status | Udgivet - 1994 |
ID: 273866