scientific article; zbMATH DE number 3907754

MaRDI QIDQ3685176zbMATH OpenFDO

Authors Rishiyur S. Nikhil

Publication date 1985

zbMATH Keywords

compile-time type-chekingerror-recoveryFQLPolymorphic type systemsprogramming language MLSASLSchemetype-safety in functional languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05)

Recommendations

• Basic polymorphic typechecking
• scientific article; zbMATH DE number 1678377
• A Compilation Method for Dynamic Typing in ML
• A polymorphic type system for Prolog
• scientific article; zbMATH DE number 3874579

Cited in

(14)

• A sound polymorphic type system for a dialect of \(C\)
• scientific article; zbMATH DE number 1678377 (Why is no real title available?)
• Parametric Polymorphism — Universally
• scientific article; zbMATH DE number 4013997 (Why is no real title available?)
• scientific article; zbMATH DE number 3874579 (Why is no real title available?)
• Algorithm of construction of a type and its realization in the language W
• Bunched polymorphism
• Practical Variable-Arity Polymorphism
• scientific article; zbMATH DE number 3951980 (Why is no real title available?)
• Polymorphic programming I. Another language designed on semantic principles
• A polymorphic modal type system for Lisp-like multi-staged languages
• Implementation of Functional Languages
• A Compilation Method for Dynamic Typing in ML
• Polymorphic types in ACL2

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