Backpack, retrofitting Haskell with interfaces

DOI10.1145/2535838.2535884zbMATH Open1284.68134OpenAlexW2218690897MaRDI QIDQ5408399FDOQ5408399

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

Recommendations

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

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)

Cited In (1)

• Backpack

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)