Associated type synonyms
From MaRDI portal
Publication:2936787
DOI10.1145/1086365.1086397zbMath1302.68055OpenAlexW2107214848MaRDI QIDQ2936787
Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
Publication date: 6 January 2015
Published in: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1086365.1086397
Related Items
Safe zero-cost coercions for Haskell, Programming with C++ concepts, How to prove decidability of equational theories with second-order computation analyser SOL, Algebraic Specialization of Generic Functions for Recursive Types, <scp>OutsideIn(X)</scp>Modular type inference with local assumptions, A language for generic programming in the large, Transformation of structure-shy programs with application to XPath queries and strategic functions, Unnamed Item, Visible Type Application, COCHIS: Stable and coherent implicits, Language-Based Program Verification via Expressive Types, Taming the Merge Operator
Uses Software
