{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T23:30:30Z","timestamp":1707521430505},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1023\/a:1010051815785","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T00:56:42Z","timestamp":1040605002000},"page":"7-105","source":"Crossref","is-referenced-by-count":133,"title":[],"prefix":"10.1007","volume":"11","author":[{"given":"H.","family":"Abelson","sequence":"first","affiliation":[]},{"given":"R.K.","family":"Dybvig","sequence":"additional","affiliation":[]},{"given":"C.T.","family":"Haynes","sequence":"additional","affiliation":[]},{"given":"G.J.","family":"Rozas","sequence":"additional","affiliation":[]},{"given":"N.I.","family":"Adams IV","sequence":"additional","affiliation":[]},{"given":"D.P.","family":"Friedman","sequence":"additional","affiliation":[]},{"given":"E.","family":"Kohlbecker","sequence":"additional","affiliation":[]},{"given":"G.L.","family":"Steele Jr.","sequence":"additional","affiliation":[]},{"given":"D.H.","family":"Bartley","sequence":"additional","affiliation":[]},{"given":"R.","family":"Halstead","sequence":"additional","affiliation":[]},{"given":"D.","family":"Oxley","sequence":"additional","affiliation":[]},{"given":"G.J.","family":"Sussman","sequence":"additional","affiliation":[]},{"given":"G.","family":"Brooks","sequence":"additional","affiliation":[]},{"given":"C.","family":"Hanson","sequence":"additional","affiliation":[]},{"given":"K.M.","family":"Pitman","sequence":"additional","affiliation":[]},{"given":"M.","family":"Wand","sequence":"additional","affiliation":[]}],"member":"297","container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"deposited":{"date-parts":[[2012,12,28]],"date-time":"2012-12-28T00:53:50Z","timestamp":1356656030000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1023\/A:1010051815785"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":0,"journal-issue":{"issue":"1"},"alternative-id":["168705"],"URL":"https:\/\/doi.org\/10.1023\/a:1010051815785","relation":{},"ISSN":["1388-3690"],"issn-type":[{"value":"1388-3690","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}