{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T00:22:24Z","timestamp":1787530944256,"version":"build-2736575974"},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T00:00:00Z","timestamp":1061942400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[2003,9]]},"abstract":"<jats:p>The following three figures (figures 10, 11 and 12) were not shown in the original published version of the article. These figures constitute the entire static semantics of the STAL type system.<\/jats:p>","DOI":"10.1017\/s0956796802004446","type":"journal-article","created":{"date-parts":[[2003,9,2]],"date-time":"2003-09-02T06:37:08Z","timestamp":1062484628000},"page":"957-959","source":"Crossref","is-referenced-by-count":9,"title":["Stack-based typed assembly language"],"prefix":"10.1017","volume":"13","author":[{"given":"GREG","family":"MORRISETT","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"KARL","family":"CRARY","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"NEAL","family":"GLEW","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"DAVID","family":"WALKER","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2003,8,27]]},"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0956796802004446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T22:34:47Z","timestamp":1779834887000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0956796802004446\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8,27]]},"references-count":0,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,11]]}},"alternative-id":["S0956796802004446"],"URL":"https:\/\/doi.org\/10.1017\/s0956796802004446","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,8,27]]}}}