Publication:4246944
From MaRDI portal
zbMath0927.03050MaRDI QIDQ4246944
Frédéric Prost, Ferruccio Damiani
Publication date: 13 December 1999
simply typed \(\lambda\)-calculus; annotated types; dead-code; nonstandard type assignment system; optimization of programs extracted from proofs in logical frameworks; rank 2 intersection; typed functional programs
Related Items
Semantic types and approximation for Featherweight Java, Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming
Uses Software