A Semantics for Static Type Inference (1993)

by Gordon Plotkin
Venue:Information and Computation
Citations:10 - 0 self

Document Versions

A Semantics for Static Type Inference –Gordon Plotkin — 1993 — Information and Computation
A Semantics for Static Type Inference –Gordon Plotkin — 1994 — Information and Computation