{"subtitle": "a functional/imperative synthesis", "series": ["Semantic structures in computation ;", "v. 2"], "lc_classifications": ["QA76.7 .L495 2003"], "latest_revision": 2, "id": 5209380, "source_records": ["marc:marc_records_scriblio_net/part14.dat:155468528:708", "marc:marc_loc_updates/v36.i11.records.utf8:6645283:1130"], "title": "Call-by-push-value", "languages": [{"key": "/l/eng"}], "subjects": ["Programming languages (Electronic computers)"], "publish_country": "mau", "by_statement": "Paul Blain Levy.", "type": {"key": "/type/edition"}, "revision": 2, "publishers": ["Kluwer Academic Publishers"], "last_modified": {"type": "/type/datetime", "value": "2009-05-05T16:24:56.497534"}, "key": "/b/OL3691301M", "authors": [{"key": "/a/OL1517985A"}], "publish_places": ["Boston"], "pagination": "p. cm.", "created": {"type": "/type/datetime", "value": "2008-04-01T03:28:50.625462"}, "dewey_decimal_class": ["005.13"], "notes": {"type": "/type/text", "value": "Includes index."}, "lccn": ["2003062053"], "isbn_10": ["1402017308"], "publish_date": "2003"}