Extending record typing to type parametric modules with sharing

No abstract is available for this paper.

• Publication year

  1993

• Venue

  ACM-SIGACT Symposium on Principles of Programming Languages

• Publication date

  1993-03-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/158511.158704
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Type Inference for Records in a Natural Extension of ML

  1994cited by this paper
• Principal signatures for higher-order program modules

  1994cited by this paper
• Typage d'un système de modules paramétriques avec partage : une application de l'unification dans les théories équationnelles

  1992influential reference
• Algebres touffues. Application au typage polymorphe des objets enregistrements dans les langages fonctionnels

  1990cited by this paper
• Definition of standard ML

  1990cited by this paper
• Commentary on standard ML

  1990cited by this paper
• Polymorphic Subtype Inference: Closing the Theory-Practice Gap

  1989cited by this paper
• Operational Semantics and Polymorphic Type Inference

  1988cited by this paper
• The essence of ML

  1988cited by this paper
• Complete Type Inference for Simple Objects

  1987cited by this paper
• A Type Discipline for Program Modules

  1987cited by this paper
• Modules for standard ML

  1984cited by this paper

• The extent of empirical evidence that could inform evidence-based design of programming languages : a systematic mapping study

  2014cites this paper
• Types for Modules

  2004cites this paper
• From Hindley-Milner Types to First-Class Structures

  2001cites this paper
• Draft Type Systems for Records Revisited

  1998cites this paper
• A region inference algorithm

  1998cites this paper
• The Definition of Standard ML (Revised)

  1997cites this paper
• A Syntactic Approach toStructure

  1996cites this paper
• A syntactic theory of type generativity and sharing

  1996cites this paper
• Type Isomorphisms for Module Signatures

  1996cites this paper
• Using parameterized signatures to express modular structure

  1996cites this paper
• A Model Inference System for Generic Specification with Application to Code Sharing

  1995cites this paper
• Label-selective lambda-calculi and transformation calculi

  1995cites this paper
• Manifest types, modules, and separate compilation

  1994cites this paper
• A Semantics for Higher-Order Functors

  1994influential citation
• Principal signatures for higher-order program modules

  1994cites this paper