scientific article; zbMATH DE number 814797

MaRDI QIDQ4855342zbMATHFDO

Authors Didier Rémy

Publication date 16 April 1996

zbMATH Keywords

concatenationfunctional language

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• Concatenate, reverse and map vanish for free
• Type inference for record concatenation and subtyping
• On bunched typing
• Type inference for record concatenation and multiple inheritance
• Publication:3204026
• Gradual typing using union typing with records
• Typing copyless message passing
• Typing copyless message passing
• Typing messages for free in security protocols
• Theoretical Aspects of Computing – ICTAC 2005

Cited in

(9)

• A calculus for reasoning about software composition
• Extensible programming with first-class cases
• scientific article; zbMATH DE number 814796 (Why is no real title available?)
• Operations on records (extended abstract)
• Disjoint polymorphism
• A lambda-calculus for dynamic binding
• Polymorphic type inference for the relational algebra
• Modular typechecking for hierarchically extensible datatypes and functions
• Type inference for record concatenation and subtyping

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