{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:22:45Z","timestamp":1742970165775,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319906850"},{"type":"electronic","value":"9783319906867"}],"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-90686-7_3","type":"book-chapter","created":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T13:49:55Z","timestamp":1524491395000},"page":"33-50","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["$$\\lambda $$ \u03bb to SKI, Semantically"],"prefix":"10.1007","author":[{"given":"Oleg","family":"Kiselyov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,24]]},"reference":[{"issue":"5","key":"3_CR1","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1017\/S0956796809007205","volume":"19","author":"J Carette","year":"2009","unstructured":"Carette, J., Kiselyov, O., Shan, C.C.: Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages. J. Funct. Program. 19(5), 509\u2013543 (2009)","journal-title":"J. Funct. Program."},{"key":"3_CR2","volume-title":"Combinatory Logic","author":"HB Curry","year":"1958","unstructured":"Curry, H.B., Feys, R.: Combinatory Logic. North-Holland, Amsterdam (1958)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Hughes, R.J.M.: Super combinators: a new implementation method for applicative languages. In: Symposium on LISP and Functional Programming, pp. 1\u201310. ACM, August 1982","DOI":"10.1145\/800068.802129"},{"issue":"3\/4","key":"3_CR4","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0096-0551(85)90017-7","volume":"10","author":"MS Joy","year":"1985","unstructured":"Joy, M.S., Rayward-Smith, V.J., Burton, F.W.: Efficient combinator code. Comput. Lang. 10(3\/4), 211\u2013224 (1985)","journal-title":"Comput. Lang."},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-32202-0_3","volume-title":"Generic and Indexed Programming","author":"O Kiselyov","year":"2012","unstructured":"Kiselyov, O.: Typed Tagless Final Interpreters. In: Gibbons, J. (ed.) Generic and Indexed Programming. LNCS, vol. 7470, pp. 130\u2013174. Springer, Heidelberg (2012). \n                    https:\/\/doi.org\/10.1007\/978-3-642-32202-0_3"},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0020-0190(85)90066-3","volume":"20","author":"K Noshita","year":"1985","unstructured":"Noshita, K.: Translation of Turner combinators in O(n log n) space. Inf. Process. Lett. 20(2), 71\u201374 (1985)","journal-title":"Inf. Process. Lett."},{"key":"3_CR7","unstructured":"Peyton Jones, S.: The Implementation of Functional Programming Languages. Prentice Hall, Upper Saddle River, January 1987. \n                    https:\/\/www.microsoft.com\/en-us\/research\/publication\/the-implementation-of-functional-programming-languages\/"},{"issue":"3","key":"3_CR8","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","author":"M Sch\u00f6nfinkel","year":"1924","unstructured":"Sch\u00f6nfinkel, M.: \u00dcber die Bausteine der mathematischen Logik. Math. Ann. 92(3), 305\u2013316 (1924)","journal-title":"Math. Ann."},{"issue":"2","key":"3_CR9","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1093\/logcom\/exi010","volume":"15","author":"FR Sinot","year":"2005","unstructured":"Sinot, F.R.: Director strings revisited: a generic approach to the efficient representation of free variables in higher-order rewriting. J. Log. Comput. 15(2), 201\u2013218 (2005)","journal-title":"J. Log. Comput."},{"key":"3_CR10","unstructured":"S\u00f8rensen, M.H., Urzyczyn, P.: Lectures on the Curry-Howard isomorphism. Technical report 98\/14 (TOPPS note D-368), DIKU, Copenhagen (1998)"},{"key":"3_CR11","unstructured":"Stoye, W.R.: The implementation of functional languages using custom hardware. Ph.D. thesis, Computer Laboratory, University of Cambridge, December 1985. \n                    http:\/\/www.cl.cam.ac.uk\/techreports\/UCAM-CL-TR-81.pdf"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"267","DOI":"10.2307\/2273733","volume":"44","author":"DA Turner","year":"1979","unstructured":"Turner, D.A.: Another algorithm for bracket abstraction. J. Symb. Log. 44(2), 267\u2013270 (1979)","journal-title":"J. Symb. Log."},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"DA Turner","year":"1979","unstructured":"Turner, D.A.: A new implementation technique for applicative languages. Softw.-Pract. Exp. 9, 31\u201349 (1979)","journal-title":"Softw.-Pract. Exp."}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90686-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T13:43:22Z","timestamp":1578491002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90686-7_3"}},"subtitle":["Declarative Pearl"],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319906850","9783319906867"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90686-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"24 April 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FLOPS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Functional and Logic Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nagoya","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 May 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"flops2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.sqlab.jp\/FLOPS2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}