An object-oriented calculus with term constraints

DOI10.1017/S0956796806006174zbMath1118.68044OpenAlexW2067350102MaRDI QIDQ3444658

Gábor Mihály Surányi

Publication date: 4 June 2007

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796806006174

zbMATH Keywords

safetyCastagna's \(\lambda\)\&-calculus

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

This page was built for publication: An object-oriented calculus with term constraints