Backpack, retrofitting Haskell with interfaces

DOI10.1145/2535838.2535884MaRDI QIDQ5408399zbMATH OpenOpenAlexFDO

Authors Scott Kilpatrick, Derek Dreyer, Simon Marlow, Simon Peyton-Jones

Publication date 10 April 2014

Published in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2535838.2535884

zbMATH Keywords

type systemsmodule systemsrecursive modulesmixin modulespackagesapplicative instantiationHaskell modulesseparate modular development

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Modular type classes
• A modular module system
• Mixin modules
• Mixin' up the ML module system
• A type system for higher-order modules

Cited in

(1)

• Backpack

Describes a project that uses

Uses Software

• Haskell
• MixML

This page was built for publication: Backpack, retrofitting Haskell with interfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408399)