scientific article; zbMATH DE number 1222431
From MaRDI portal
Publication:4217956
zbMath0914.03036MaRDI QIDQ4217956
Publication date: 21 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Church-Rosser propertyCPS-translationtype inference algorithmDamas-Milner type systempolymorphic call-by-value calculusproof reductionsrewriting semantics
Related Items (1)
This page was built for publication: