scientific article

zbMath0973.68037MaRDI QIDQ2754131

Cristiano Calcagno, Eugenio Moggi, Walid Taha

Publication date: 11 November 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Refined Environment Classifiers ⋮ Type-specialized staged programming with process separation

This page was built for publication: