HMF
From MaRDI portal
Publication:5178769
DOI10.1145/1411204.1411245zbMath1323.68079OpenAlexW4248324061MaRDI QIDQ5178769
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.1411245
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)
Related Items (3)
Sound and complete type inference for closed effect rows ⋮ COCHIS: Stable and coherent implicits ⋮ Recasting ML\(^{\text F}\)
This page was built for publication: HMF
