Programming Languages and Systems

No abstract is available for this paper.

• Publication year

  2000

• Venue

  Lecture Notes in Computer Science

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-46425-5
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Types for Modules

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

  2001influential reference
• Standard Libraries for the Haskell 98 Programming Language

  1999influential reference
• Toward a formal theory of extensible software

  1998cited by this paper
• Bulk Types With Class

  1997influential reference
• Translucent Sums: A Foundation for Higher-Order Module Systems

  1997cited by this paper
• Region-based Memory Management

  1997cited by this paper
• Subtyping Constrained Types

  1996influential reference
• Using parameterized signatures to express modular structure

  1996cited by this paper
• Simplifying and improving qualified types

  1995influential reference
• Once upon a type

  1995influential reference
• Simple imperative polymorphism

  1995cited by this paper
• Qualified Types: Theory and Practice

  1994influential reference
• Object-Oriented Concurrent Constraint Programming in Oz

  1993cited by this paper
• A system of constructor classes: overloading and implicit higher-order polymorphism

  1993influential reference
• Reasoning about Explicit and Implicit Representations of State

  1993cited by this paper
• Call by name, assignment, and the lambda calculus

  1993cited by this paper
• Typing record concatenation for free

  1992influential reference
• Projective ML

  1992cited by this paper
• CML: A Higher-Order Concurrent Language

  1991cited by this paper
• A record calculus based on symmetric concatenation

  1991cited by this paper
• Report on the programming language Haskell : a non-strict, purely functional language

  1990influential reference
• Linear Types can Change the World!

  1990influential reference
• Type inference for record concatenation and multiple inheritance

  1989cited by this paper
• The Theory of Relational Databases

  1983influential reference
• Structured multiprogramming

  1972cited by this paper
• “Memo” Functions and Machine Learning

  1968influential reference
• Automatic computation of data set definitions

  1968influential reference

• No citing papers are available for this paper.