scientific article; zbMATH DE number 1088047

MaRDI QIDQ4364396zbMATH OpenFDO

Authors Erik Poll

Publication date 17 November 1997

zbMATH Keywords

PER modelpolymorphic lambda calculuspolymorphic updatesrestricted form of subtyping

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Recommendations

• An extension of system \(F\) with subtyping
• An extension of system \(F\) with subtyping
• scientific article; zbMATH DE number 814798
• A type system for bounded space and functional in-place update
• scientific article; zbMATH DE number 1302055
• scientific article; zbMATH DE number 1538025
• System F-omega with equirecursive types for datatype-generic programming
• Syntactical data types of system \(\mathcal F\)
• scientific article; zbMATH DE number 1342218
• scientific article; zbMATH DE number 1342292

Cited in

(3)

• Type destructors
• An extension of system \(F\) with subtyping
• Taming the merge operator

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364396)