Relating models of backtracking

DOI10.1145/1016850.1016861zbMath1323.68176OpenAlexW4230823447MaRDI QIDQ5178022

Dale Vaillancourt, Mitchell Wand

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.1016861

zbMATH Keywords

monadsadequacylogical relationsstreamstwo-continuation semantics

Mathematics Subject Classification ID

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

Related Items (3)

Unnamed Item ⋮ Codensity Lifting of Monads and its Dual ⋮ Unnamed Item

This page was built for publication: Relating models of backtracking