{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:39Z","timestamp":1725663399940},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190271"},{"type":"electronic","value":"9783540389415"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"tdm","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":[[1988]]},"DOI":"10.1007\/3-540-19027-9_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:56:02Z","timestamp":1330181762000},"page":"206-220","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Extending functional programming towards relations"],"prefix":"10.1007","author":[{"given":"Remi","family":"Legrand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"P. Bellot, Graal: a functional programming system with uncurryfied combinators and its reduction machine, European Symposium on Programming, (ESOP 86), LNCS 213, Saarbr\u00fccken, mars 1986","DOI":"10.1007\/3-540-16442-1_6"},{"key":"14_CR2","unstructured":"P. Bellot, Sur les sentiers du Graal, \u00e9tude, conception et r\u00e9alisation d'un langage de programmation sans variable, Th\u00e8se d'\u00e9tat, Rapport LITP 86-62, Paris, octobre 1986"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"P. Bellot, V.Jay, A theory for Natural Modelisation and Implementation of Functions with Variable Arity, to appear in LNCS, Portland, septembre 1987","DOI":"10.1007\/3-540-18317-5_13"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"J. Chailloux, M. Devin, J.M. Hullot, LE_LISP, a portable and efficient LISP System, Conference Record of the 1984 ACM Symposium on LISP and functional Programming, p113\u2013123, Austin, Texas, 1984","DOI":"10.1145\/800055.802027"},{"key":"14_CR5","unstructured":"N.J. Cutland, An introduction to recursive function theory."},{"key":"14_CR6","volume-title":"S\u00e9mantique des liaisons nom-valeur: application \u00e0 l'impl\u00e9mentation des lambda-langages","author":"J.L Durieux","year":"1981","unstructured":"J.L Durieux, S\u00e9mantique des liaisons nom-valeur: application \u00e0 l'impl\u00e9mentation des lambda-langages, Th\u00e8se d'\u00e9tat, Universit\u00e9 Paul Sabatier, Toulouse, 1981"},{"key":"14_CR7","volume-title":"Recursiveness","author":"S. Eilenberg","year":"1970","unstructured":"S. Eilenberg, C.C. Elgot, Recursiveness, Academic Press, New york, 1970"},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(85)90084-0","volume":"27","author":"R.E. Korf","year":"1985","unstructured":"R.E. Korf, Depth-First Iterative-Deepening: An Optimal Admissible Tree Search, Artificial Intelligence, Vol 27, p 97\u2013109, 1985","journal-title":"Artificial Intelligence"},{"key":"14_CR9","unstructured":"R. Legrand, Le calcul relationnel au service de l'implantation d'un langage de programmation en logique, S\u00e9minaire de programmation en logique, CNET Lannion, Ed M.Dincbas, p 333\u2013346, Tr\u00e9gastel, 1987"},{"key":"14_CR10","unstructured":"R. Legrand, Calcul Relationnel et Programmation en Logique, Th\u00e8se de l'Universit\u00e9 Paris VI, 1987"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"D.A. Turner, Another Implementation Technic for applicative Language, Software Practice and Experience, Vol. 9, 1979","DOI":"10.1002\/spe.4380090105"},{"key":"14_CR12","unstructured":"T.T. Nguyen, Algebraic theory of predicate transformers for relational programming, Research Report No RR 85-12, Louvain, 1985"}],"container-title":["Lecture Notes in Computer Science","ESOP '88"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19027-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:29:05Z","timestamp":1558254545000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19027-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190271","9783540389415"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-19027-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}