{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:36:44Z","timestamp":1752982604094,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319897189"},{"type":"electronic","value":"9783319897196"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89719-6_3","type":"book-chapter","created":{"date-parts":[[2018,4,18]],"date-time":"2018-04-18T14:44:21Z","timestamp":1524062661000},"page":"39-58","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Typed Relational Conversion"],"prefix":"10.1007","author":[{"given":"Petr","family":"Lozov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrei","family":"Vyatkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8363-7143","authenticated-orcid":false,"given":"Dmitry","family":"Boulytchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,19]]},"reference":[{"key":"3_CR1","unstructured":"Alvis, C.E., Willcock, J.J., Carter, K.M., Byrd, W.E., Friedman, D.P.: cKanren: miniKanren with constraints. In: Proceedings of the 2011 Annual Workshop on Scheme and Functional Programming, October 2011"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Snyder, W.: Unification theory. In: Handbook of Automated Reasoning. Elsevier Science Publishers B.V., Amsterdam (2001)","DOI":"10.1016\/B978-044450813-3\/50010-2"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Barendregt, H.P.: Lambda calculi with types. In: Handbook of Logic in Computer Science, vol. 2, pp. 117\u2013309. Oxford University Press Inc., New York (1992)","DOI":"10.1093\/oso\/9780198537618.003.0002"},{"key":"3_CR4","unstructured":"Byrd, W.E.: Private communication"},{"key":"3_CR5","unstructured":"Byrd, W.E.: Relational programming in miniKanren: techniques, applications, and implementations. Ph.D. thesis, Indiana University, September 2009"},{"issue":"ICFP","key":"3_CR6","doi-asserted-by":"publisher","first-page":"8:1","DOI":"10.1145\/3110252","volume":"1","author":"WE Byrd","year":"2017","unstructured":"Byrd, W.E., Ballantyne, M., Rosenblatt, G., Might, M.: A unified approach to solving seven programming problems (functional pearl). Proc. ACM Program. Lang. 1(ICFP), 8:1\u20138:26 (2017)","journal-title":"Proc. ACM Program. Lang."},{"key":"3_CR7","unstructured":"Byrd, W.E., Friedman, D.P.: $$\\alpha $$\u03b1Kanren: a fresh name in nominal logic programming. In: Proceedings of the 2007 Annual Workshop on Scheme and Functional Programming, pp. 79\u201390 (2007)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Byrd, W.E., Holk, E., Friedman, D.P.: miniKanren, live and untagged: quine generation via relational interpreters (programming pearl). In: Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012, pp. 8\u201329. ACM, New York (2012)","DOI":"10.1145\/2661103.2661105"},{"issue":"4","key":"3_CR9","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L Cardelli","year":"1985","unstructured":"Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. 17(4), 471\u2013523 (1985)","journal-title":"ACM Comput. Surv."},{"key":"3_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5801.001.0001","volume-title":"The Reasoned Schemer","author":"DP Friedman","year":"2005","unstructured":"Friedman, D.P., Byrd, W.E., Kiselyov, O.: The Reasoned Schemer. The MIT Press, Cambridge (2005)"},{"key":"3_CR11","unstructured":"Hemann, J., Friedman, D.P.: $$\\mu $$\u03bcKanren: a minimal functional core for relational programming. In: Proceedings of the 2013 Annual Workshop on Scheme and Functional Programming (2013)"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/3093334.2989230","volume":"52","author":"J Hemann","year":"2016","unstructured":"Hemann, J., Friedman, D.P., Byrd, W.E., Might, M.: A small embedding of logic programming with a simple complete search. SIGPLAN Not. 52(2), 96\u2013107 (2016)","journal-title":"SIGPLAN Not."},{"key":"3_CR13","unstructured":"Kosarev, D., Boulytchev, D.: Typed embedding of a relational language in OCaml. In: ACM SIGPLAN Workshop on ML (2016)"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1016\/B978-0-934613-40-8.50019-1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J-L. Lassez","year":"1988","unstructured":"Lassez, J.-L., Maher, M.J., Marriott, K.: Unification revisited. In: Foundations of Deductive Databases and Logic Programming, pp. 587\u2013625. Morgan Kaufmann Publishers Inc., San Francisco (1988)"},{"key":"3_CR15","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages, 1st edn. The MIT Press, Cambridge (2002)","edition":"1"},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A Wright","year":"1994","unstructured":"Wright, A., Felleisen, M.: A syntactic approach to type soundness. Inf. Comput. 115(1), 38\u201394 (1994)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89719-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,6]],"date-time":"2024-07-06T03:49:58Z","timestamp":1720237798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89719-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319897189","9783319897196"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89719-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}