scientific article; zbMATH DE number 4180813

zbMATH Open0716.68059MaRDI QIDQ3204052FDOQ3204052

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

Publication date: 1989

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

programming-language semanticsrecursive polymorphic typessemantics of type systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (3)

• Title not available (Why is that?)
• An ideal model for recursive polymorphic types
• FAITHFUL IDEAL MODELS 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)