scientific article; zbMATH DE number 814797

zbMATH Open0837.68058MaRDI QIDQ4855342FDOQ4855342

Authors: Didier Rémy 

Publication date: 16 April 1996

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

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

zbMATH Keywords

concatenationfunctional language

Mathematics Subject Classification ID

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

Cited In (9)

• Extensible programming with first-class cases
• A lambda-calculus for dynamic binding
• Type inference for record concatenation and subtyping
• Polymorphic type inference for the relational algebra
• Title not available (Why is that?)
• Modular typechecking for hierarchically extensible datatypes and functions
• Operations on records (extended abstract)
• Disjoint polymorphism
• A calculus for reasoning about software composition

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)