Backpack
DOI10.1145/2535838.2535884zbMath1284.68134OpenAlexW2218690897MaRDI QIDQ5408399
Scott Kilpatrick, Derek R. Dreyer, Simon Marlow, Simon L. 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
type systemsmodule systemsrecursive modulesmixin modulespackagesapplicative instantiationHaskell modulesseparate modular development
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)
Related Items (1)
Uses Software
This page was built for publication: Backpack
