A Syntactic Approach to Type Soundness (1992)

Cached

Download Links

by Andrew K. Wright , Matthias Felleisen
Venue:Information and Computation
Citations:538 - 21 self

Document Versions

A Syntactic Approach to Type Soundness –Andrew K. Wright, Matthias Felleisen — 1992 — Information and Computation