FPH

DOI10.1145/1411204.1411246zbMath1323.68173OpenAlexW4231402167MaRDI QIDQ5178770

Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones

Publication date: 16 March 2015

Published in: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

zbMATH Keywords

type inferenceimpredicativityhigher-rank types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (3)

1ML – Core and modules united ⋮ COCHIS: Stable and coherent implicits ⋮ Recasting ML\(^{\text F}\)

Uses Software

• Haskell

This page was built for publication: FPH