{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T17:25:46Z","timestamp":1778520346632,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,9,19]],"date-time":"2004-09-19T00:00:00Z","timestamp":1095552000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,9,19]]},"DOI":"10.1145\/1016850.1016861","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T13:39:48Z","timestamp":1097156388000},"page":"54-65","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Relating models of backtracking"],"prefix":"10.1145","author":[{"given":"Mitchell","family":"Wand","sequence":"first","affiliation":[{"name":"Northeastern University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dale","family":"Vaillancourt","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,9,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The Structure and Interpretation of Computer Programs","author":"Abelson Hal","year":"1985","unstructured":"Hal Abelson and Gerald Jay Sussman . The Structure and Interpretation of Computer Programs . MIT Press , Cambridge, MA , 1985 . Hal Abelson and Gerald Jay Sussman. The Structure and Interpretation of Computer Programs. MIT Press, Cambridge, MA, 1985."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"e_1_3_2_1_3_1","first-page":"9","volume-title":"FP'93 Glasgow Workshop on Functional Programming, Workshops in Computing","author":"Crole R. L.","year":"1994","unstructured":"R. L. Crole and A. D. Gordon . Factoring an Adequacy Proof. In C. J. van Rijsbergen, editor , FP'93 Glasgow Workshop on Functional Programming, Workshops in Computing , pages 9 -- 25 . Springer-Verlag , 1994 . R. L. Crole and A. D. Gordon. Factoring an Adequacy Proof. In C. J. van Rijsbergen, editor, FP'93 Glasgow Workshop on Functional Programming, Workshops in Computing, pages 9--25. Springer-Verlag, 1994."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037259"},{"key":"e_1_3_2_1_5_1","volume-title":"A mathematical semantics for PLANNER. Master's thesis","author":"Federhen Scott","year":"1980","unstructured":"Scott Federhen . A mathematical semantics for PLANNER. Master's thesis , University of Maryland , 1980 . Scott Federhen. A mathematical semantics for PLANNER. Master's thesis, University of Maryland, 1980."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/62678.62684"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351258"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647698.734154"},{"key":"e_1_3_2_1_9_1","first-page":"119","volume-title":"Implementations of Prolog","author":"Kahn K. M.","year":"1984","unstructured":"K. M. Kahn and M. Carlsson . How to implement prolog on a LISP machine. In J. A. Campbell, editor , Implementations of Prolog , pages 119 -- 134 . Chichester , 1984 . K. M. Kahn and M. Carlsson. How to implement prolog on a LISP machine. In J. A. Campbell, editor, Implementations of Prolog, pages 119--134. Chichester, 1984."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/567446.567459"},{"key":"e_1_3_2_1_11_1","volume-title":"Foundations for Programming Languages","author":"Mitchell John C.","year":"1996","unstructured":"John C. Mitchell . Foundations for Programming Languages . MIT Press , Cambridge, MA , 1996 . John C. Mitchell. Foundations for Programming Languages. MIT Press, Cambridge, MA, 1996."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90044-5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227716"},{"key":"e_1_3_2_1_15_1","first-page":"184","volume-title":"International Conference on Logic Programming","author":"Seres Silvija","year":"1999","unstructured":"Silvija Seres , J. Michael Spivey , and C. A. R. Hoare . Algebra of logic programming . In International Conference on Logic Programming , pages 184 -- 199 , 1999 . Silvija Seres, J. Michael Spivey, and C. A. R. Hoare. Algebra of logic programming. In International Conference on Logic Programming, pages 184--199, 1999."},{"key":"e_1_3_2_1_16_1","volume-title":"Haskell Workshop '99","author":"Seres Silvija","year":"1999","unstructured":"Silvija Seres and Michael J. Spivey . Embedding prolog into haskell . In Haskell Workshop '99 , 1999 . Silvija Seres and Michael J. Spivey. Embedding prolog into haskell. In Haskell Workshop '99, 1999."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604144"},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0066739","volume-title":"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis","author":"Troelstra A. S.","year":"1973","unstructured":"A. S. Troelstra , editor. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis , volume 344 of Lecture Notes in Mathematics . Springer-Verlag , Berlin, Heidelberg , and New York, 1973 . A. S. Troelstra, editor. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, volume 344 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, Heidelberg, and New York, 1973."},{"key":"e_1_3_2_1_19_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-540-15975-4_33","volume-title":"Functional Programming Languages and Computer Architecture","author":"Wadler P. L.","year":"1985","unstructured":"P. L. Wadler . How to replace failure by a list of successes . In Jean-Pierre Jouannaud, editor, Functional Programming Languages and Computer Architecture , volume 201 of Lecture Notes in Computer Science , pages 113 -- 128 . Springer Verlag , September 1985 . P. L. Wadler. How to replace failure by a list of successes. In Jean-Pierre Jouannaud, editor, Functional Programming Languages and Computer Architecture, volume 201 of Lecture Notes in Computer Science, pages 113--128. Springer Verlag, September 1985."},{"key":"e_1_3_2_1_20_1","first-page":"215","volume-title":"To H.B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism","author":"Wadsworth Christopher P.","year":"1980","unstructured":"Christopher P. Wadsworth . Some unusual \u03bb-calculus numeral systems . In J. R. Seldin and J. P. Hindley, editors, To H.B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism , pages 215 -- 230 . Academic Press , New York and London, 1980 . Christopher P. Wadsworth. Some unusual \u03bb-calculus numeral systems. In J. R. Seldin and J. P. Hindley, editors, To H.B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism, pages 215--230. Academic Press, New York and London, 1980."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90011-4"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/151145"}],"event":{"name":"ICFP04: ACM SIGPLAN International Conference on Functional Programming","location":"Snow Bird UT USA","acronym":"ICFP04","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the ninth ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1016850.1016861","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1016850.1016861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:31:00Z","timestamp":1750249860000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1016850.1016861"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9,19]]},"references-count":22,"alternative-id":["10.1145\/1016850.1016861","10.1145\/1016850"],"URL":"https:\/\/doi.org\/10.1145\/1016850.1016861","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1016848.1016861","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2004,9,19]]},"assertion":[{"value":"2004-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}