Title of article
A type soundness proof for variables in LCF ML
Author/Authors
Dennis Volpano، نويسنده , , Geoffrey Smith، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1995
Pages
6
From page
141
To page
146
Keywords
Type theory: Formal semantics: Variables and assignment
Journal title
Information Processing Letters
Serial Year
1995
Journal title
Information Processing Letters
Record number
128370
Link To Document