Modular type classes

From MaRDI portal

Revision as of 21:58, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3189786

Jump to:navigation, search

DOI10.1145/1190216.1190229zbMath1295.68061OpenAlexW4237270226MaRDI QIDQ3189786

Manuel M. T. Chakravarty, Gabriele Keller, Derek R. Dreyer, Robert Harper

Publication date: 12 September 2014

Published in: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

modules type systems type inference type classes

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (3)

1ML – Core and modules united ⋮ A language for generic programming in the large ⋮ COCHIS: Stable and coherent implicits

Uses Software

Haskell

This page was built for publication: Modular type classes

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3189786&oldid=16307502"