Making a fast curry
From MaRDI portal
Publication:5178017
DOI10.1145/1016850.1016856zbMath1323.68080OpenAlexW4248456324MaRDI QIDQ5178017
Simon Marlow, Simon L. Peyton Jones
Publication date: 9 March 2015
Published in: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1016850.1016856
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)
Related Items (3)
A syntactic correspondence between context-sensitive calculi and abstract machines ⋮ Inter-deriving Semantic Artifacts for Object-Oriented Programming ⋮ On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
This page was built for publication: Making a fast curry
