scientific article; zbMATH DE number 1301731

zbMath0927.03050MaRDI QIDQ4246944

Frédéric Prost, Ferruccio Damiani

Publication date: 13 December 1999

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

zbMATH Keywords

simply typed \(\lambda\)-calculusannotated typesdead-codenonstandard type assignment systemoptimization of programs extracted from proofs in logical frameworksrank 2 intersectiontyped functional programs

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (2)

Semantic types and approximation for Featherweight Java ⋮ Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming

Uses Software

• LEGO
• Unnamed Item

This page was built for publication: