scientific article; zbMATH DE number 4180813

MaRDI QIDQ3204052zbMATHFDO

Authors Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin

Publication date 1989

zbMATH Keywords

programming-language semanticsrecursive polymorphic typessemantics of type systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES
• Semantic types: a fresh look at the ideal model for types
• An ideal model for recursive polymorphic types
• Adequacy for a lazy functional language with recursive and polymorphic types
• Recursive types for Fun

Cited in

(4)

• scientific article; zbMATH DE number 4126291 (Why is no real title available?)
• FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES
• Semantic types: a fresh look at the ideal model for types
• An ideal model for recursive polymorphic types

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 Q3204052)