Backpack: retrofitting Haskell with interfaces

No abstract is available for this paper.

• Publication year

  2014

• Venue

  ACM-SIGACT Symposium on Principles of Programming Languages

• Publication date

  2014-01-08

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2535838.2535884
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Definition Of Standard Ml Revised

  2016influential reference
• Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages

  2012cited by this paper
• DeepFJig - Modular composition of nested classes

  2012cited by this paper
• A syntactic type system for recursive modules

  2011cited by this paper
• Mixin' up the ML module system

  2008influential reference
• A history of Haskell: being lazy with class

  2007cited by this paper
• A type system for recursive modules

  2007cited by this paper
• Flexible Type-Safe Linking of Components for Java-Like Languages

  2006cited by this paper
• A separate compilation extension to standard ML

  2006cited by this paper
• J&: nested intersection for scalable software composition

  2006cited by this paper
• From structures and functors to modules and units

  2006cited by this paper
• The missing link: dynamic components for ML

  2006cited by this paper
• Polymorphic bytecode: compositional compilation for Java-like languages

  2005cited by this paper
• Scalable component abstractions

  2005cited by this paper
• Smart Modules for Java-like Languages

  2005cited by this paper
• Numbering matters: first-order canonical forms for second-order recursive types

  2004cited by this paper
• Types for Modules

  2004cited by this paper
• Type-Safe linking with recursive DLLs and shared libraries

  2002cited by this paper
• Mixin modules in a call-by-value setting

  2002influential reference
• A static semantics for Haskell

  2002cited by this paper
• A calculus of module systems

  2002influential reference
• A formal specification of the Haskell 98 module system

  2002cited by this paper
• A type-theoretic interpretation of standard ML

  2000cited by this paper
• What is a recursive module?

  1999cited by this paper
• A theory of mixin modules: basic and derived operators

  1998cited by this paper
• Units: cool modules for HOT languages

  1998cited by this paper
• Program fragments, linking, and modularization

  1997cited by this paper
• Mixin modules

  1996cited by this paper
• Applicative functors and fully transparent higher-order modules

  1995cited by this paper
• Modularity meets inheritance

  1992cited by this paper
• Definition of standard ML

  1990cited by this paper
• Under Consideration for Publication in J. Functional Programming F-ing Modules

  year unknowncited by this paper
• Under Consideration for Publication in J. Functional Programming Recursive Type Generativity

  year unknowninfluential reference
• Under Consideration for Publication in J. Functional Programming Acute: High-level Programming Language Design for Distributed Computation

  year unknowncited by this paper

• Extensibility in Programming Languages: An overview

  2025cites this paper
• A text-based syntax completion method using LR parsing and its evaluation

  2023cites this paper
• Programming Unikernels in the Large via Functor Driven Development

  2019cites this paper
• Eliom: A Language for Modular Tierless Web Programming

  2019cites this paper
• Tierless Web Programming in the Large

  2018cites this paper
• Tierless web programming in ML

  2017cites this paper
• Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping

  2017cites this paper
• Derek Dreyer Research Statement MPI

  2017cites this paper
• Tierless Modules

  2017cites this paper
• Backpack to work: towards practical mixin linking for Haskell

  2016cites this paper
• Dependencies between Haskell code fragments

  2015cites this paper
• Towards a Theory of Packages

  2015influential citation
• Silmaril, A Functional Language for Distributed Parallel Evaluation

  2014cites this paper
• I Current Research Groups 19 Iv Details 113

  year unknowncites this paper