{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:59Z","timestamp":1772163959723,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,12]],"date-time":"2005-09-12T00:00:00Z","timestamp":1126483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,12]]},"DOI":"10.1145\/1086365.1086387","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"168-179","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["High-level views on low-level representations"],"prefix":"10.1145","author":[{"given":"Iavor S.","family":"Diatchki","sequence":"first","affiliation":[{"name":"OHSU"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark P.","family":"Jones","sequence":"additional","affiliation":[{"name":"OHSU"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rebekah","family":"Leslie","sequence":"additional","affiliation":[{"name":"Portland State University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Bluespec Language definition","author":"Augustsson Lennart","year":"2002","unstructured":"Lennart Augustsson , Jacob Schwartz , and Rishiyur S. Nikhil . Bluespec Language definition . Sandburst Corporation , 2002 .]] Lennart Augustsson, Jacob Schwartz, and Rishiyur S. Nikhil. Bluespec Language definition. Sandburst Corporation, 2002.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/645435.652647"},{"key":"e_1_3_2_1_3_1","volume-title":"BABEL'01: First workshop on multi-language infrastructure and interoperability","author":"Blume Matthias","year":"2001","unstructured":"Matthias Blume . No-Longer-Foreign : Teaching an ML compiler to speak C \"natively \". In BABEL'01: First workshop on multi-language infrastructure and interoperability , September 2001 .]] Matthias Blume. No-Longer-Foreign: Teaching an ML compiler to speak C \"natively\". In BABEL'01: First workshop on multi-language infrastructure and interoperability, September 2001.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065046"},{"key":"e_1_3_2_1_5_1","volume-title":"A polymorphic type system for extensible records and variants. Technical report","author":"Gaster Benedict R.","year":"1996","unstructured":"Benedict R. Gaster and Mark P. Jones . A polymorphic type system for extensible records and variants. Technical report , University of Nottingham , 1996 .]] Benedict R. Gaster and Mark P. Jones. A polymorphic type system for extensible records and variants. Technical report, University of Nottingham, 1996.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321997"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/207528"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651909"},{"key":"e_1_3_2_1_11_1","volume-title":"TheRevised Report","author":"Jones Simon Peyton","year":"2003","unstructured":"Simon Peyton Jones , editor. Haskell 98 Language and Libraries , TheRevised Report . Cambridge University Press , 2003 .]] Simon Peyton Jones, editor. Haskell 98 Language and Libraries, TheRevised Report. Cambridge University Press, 2003.]]"},{"key":"e_1_3_2_1_12_1","volume-title":"Lexically scoped type variables","author":"Jones Simon Peyton","year":"2004","unstructured":"Simon Peyton Jones and Mark Shields . Lexically scoped type variables . March 2004 .]] Simon Peyton Jones and Mark Shields. Lexically scoped type variables. March 2004.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224075"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_15_1","unstructured":"National Semiconductor. DP8390D\/NS32490 NIC Network Interface Controller July 1995.]]  National Semiconductor. DP8390D\/NS32490 NIC Network Interface Controller July 1995.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256225"},{"key":"e_1_3_2_1_17_1","volume-title":"January","year":"2005","unstructured":"L4ka Team. L4 eXperimental Kernel Reference Manual , January 2005 . Available online from http:\/\/l4ka.org\/.]] L4ka Team. L4 eXperimental Kernel Reference Manual, January 2005. Available online from http:\/\/l4ka.org\/.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41653"},{"key":"e_1_3_2_1_19_1","unstructured":"Zilog Inc. Z80-CPU Z80A-CPU Technical Manual 1977. Information about the Z80 is also available from www.z80.info.]]  Zilog Inc. Z80-CPU Z80A-CPU Technical Manual 1977. Information about the Z80 is also available from www.z80.info.]]"}],"event":{"name":"ICFP05: ACM SIGPLAN International Conference on Functional Programming","location":"Tallinn Estonia","acronym":"ICFP05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the tenth ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086365.1086387","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086365.1086387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:12Z","timestamp":1750248492000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086365.1086387"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,12]]},"references-count":17,"alternative-id":["10.1145\/1086365.1086387","10.1145\/1086365"],"URL":"https:\/\/doi.org\/10.1145\/1086365.1086387","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1090189.1086387","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,9,12]]},"assertion":[{"value":"2005-09-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}