Associated types with class
From MaRDI portal
Publication:5276128
DOI10.1145/1040305.1040306zbMath1369.68089OpenAlexW2168938117MaRDI QIDQ5276128
Simon Marlow, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
Publication date: 14 July 2017
Published in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1040305.1040306
Related Items (12)
Safe zero-cost coercions for Haskell ⋮ Constructing language processors with algebra combinators ⋮ Programming with C++ concepts ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Skeleton composition versus stable process systems in Eden ⋮ First-Class Type Classes ⋮ A language for generic programming in the large ⋮ Unnamed Item ⋮ A lightweight approach to datatype-generic rewriting ⋮ COCHIS: Stable and coherent implicits ⋮ Type-Safe Code Transformations in Haskell ⋮ Taming the Merge Operator
Uses Software
This page was built for publication: Associated types with class