|
This tech report shows some of the standard techniques for proving type soundness, and introduces Felleisen's syntactic approach which is based on subject reduction.
This is an important technique, yet it seems this paper wasn't mentioned before on LtU.
Posted to theory by Ehud Lamm on 6/11/03; 3:13:45 AM
|
|
A syntactic approach to type soundness
