The constrained-monad problem
From MaRDI portal
Publication:5244810
DOI10.1145/2500365.2500602zbMath1323.68157OpenAlexW2100883156MaRDI QIDQ5244810
George Giorgidze, Neil Sculthorpe, Andy Gill, Jan Bracker
Publication date: 30 March 2015
Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: http://irep.ntu.ac.uk/id/eprint/27906/1/PubSub5461_Sculthorpe.pdf
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
A language for hierarchical data parallel design-space exploration on GPUs ⋮ Combining deep and shallow embedding of domain-specific languages
Uses Software
This page was built for publication: The constrained-monad problem
