DMCA

A Syntactic Approach to Type Soundness (1992)

by Andrew K. Wright , Matthias Felleisen
Venue:INFORMATION AND COMPUTATION
Citations:617 - 22 self