Deriving backtracking monad transformers
From MaRDI portal
Publication:2943369
DOI10.1145/351240.351258zbMath1321.68195MaRDI QIDQ2943369
Publication date: 11 September 2015
Published in: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/351240.351258
68N18: Functional programming and lambda calculus
68N17: Logic programming
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)