{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T11:31:28Z","timestamp":1725708688560},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,17]]},"DOI":"10.1145\/1159842.1159851","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:04:00Z","timestamp":1161209040000},"page":"72-83","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Strongly typed memory areas programming systems-level data structures in a functional language"],"prefix":"10.1145","author":[{"given":"Iavor S.","family":"Diatchki","sequence":"first","affiliation":[{"name":"Oregon Health & Science University, Portland, Oregon"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark P.","family":"Jones","sequence":"additional","affiliation":[{"name":"Oregon Health & Science University, Portland, Oregon"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,9,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/645435.652647"},{"key":"e_1_3_2_1_2_1","volume-title":"BABEL 2001:  1st 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 2001: 1st Workshop on Multi-Language Infrastructure and Interoperability , September 2001 .]] Matthias Blume. No-Longer-Foreign: Teaching an ML compiler to speak C \"natively\". In BABEL 2001: 1st Workshop on Multi-Language Infrastructure and Interoperability, September 2001.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086397"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086387"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289437"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065046"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80450-5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086380"},{"key":"e_1_3_2_1_11_1","unstructured":"Intel Corporation. IA-32 Intel Architecture Software Developer's Manual Volumes 1-3. Available online from http:\/\/www.intel.com\/design\/Pentium4\/documentation.htm.]]  Intel Corporation. IA-32 Intel Architecture Software Developer's Manual Volumes 1-3. Available online from http:\/\/www.intel.com\/design\/Pentium4\/documentation.htm.]]"},{"key":"e_1_3_2_1_12_1","first-page":"275","volume-title":"USENIX Annual Technical Conference","author":"Jim Trevor","year":"2002","unstructured":"Trevor Jim , Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney , and Yanling Wang . Cyclone : A safe dialect of C . In USENIX Annual Technical Conference , pages 275 -- 288 , June 2002 .]] Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A safe dialect of C. In USENIX Annual Technical Conference, pages 275--288, June 2002.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651909"},{"key":"e_1_3_2_1_15_1","volume-title":"OGI School of Science & Engineering at OHSU","author":"Jones Mark P.","year":"2002","unstructured":"Mark P. Jones , Magnus Carlsson , and Johan Nordlander . Composed, and in Control : Programming the Timber Robot. Technical report , OGI School of Science & Engineering at OHSU , August 2002 .]] Mark P. Jones, Magnus Carlsson, and Johan Nordlander. Composed, and in Control: Programming the Timber Robot. Technical report, OGI School of Science & Engineering at OHSU, August 2002.]]"},{"key":"e_1_3_2_1_16_1","volume-title":"The Revised Report","author":"Jones Simon Peyton","year":"2003","unstructured":"Simon Peyton Jones , editor. Haskell 98 Language and Libraries , The Revised Report . Cambridge University Press , 2003 .]] Simon Peyton Jones, editor. Haskell 98 Language and Libraries, The Revised Report. Cambridge University Press, 2003.]]"},{"key":"e_1_3_2_1_17_1","volume-title":"The C Programming Language","author":"Kernighan Brian W.","year":"1988","unstructured":"Brian W. Kernighan and Dennis M. Ritchie . The C Programming Language . Prentice Hall , 1988 .]] Brian W. Kernighan and Dennis M. Ritchie. The C Programming Language. Prentice Hall, 1988.]]"},{"key":"e_1_3_2_1_18_1","unstructured":"Xavier Leroy. CamlIDL User's Manual (Version 1.05). INRIA Rocquencourt.]]  Xavier Leroy. CamlIDL User's Manual (Version 1.05). INRIA Rocquencourt.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319157"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of The 2001 ACM SIGPLAN Haskell Workshop","author":"Neubauer Matthias","year":"2001","unstructured":"Matthias Neubauer , Peter Thiemann , Martin Gasbichler , and Michael Sperber . A functional notation for functional dependencies . In Proceedings of The 2001 ACM SIGPLAN Haskell Workshop , Firenze, Italy , September 2001 .]] Matthias Neubauer, Peter Thiemann, Martin Gasbichler, and Michael Sperber. A functional notation for functional dependencies. In Proceedings of The 2001 ACM SIGPLAN Haskell Workshop, Firenze, Italy, September 2001.]]"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256225"},{"key":"e_1_3_2_1_22_1","volume-title":"The C++ Programming Language","author":"Stroustrup Bjarne","year":"1997","unstructured":"Bjarne Stroustrup . The C++ Programming Language . Addison-Wesley , 1997 .]] Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, 1997.]]"},{"key":"e_1_3_2_1_23_1","volume-title":"August","author":"Team Cyclone","year":"2004","unstructured":"Cyclone Team . Cyclone User's Manual (0.8.2) , August 2004 .]] Cyclone Team. Cyclone User's Manual (0.8.2), August 2004.]]"},{"key":"e_1_3_2_1_24_1","volume-title":"Haskell 98 Foreign Function Interface (1.0)","author":"Team Haskell FFI","year":"2003","unstructured":"Haskell FFI Team . Haskell 98 Foreign Function Interface (1.0) , 2003 .]] Haskell FFI Team. Haskell 98 Foreign Function Interface (1.0), 2003.]]"},{"volume-title":"January","year":"2005","key":"e_1_3_2_1_25_1","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_26_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796898003086"}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Portland Oregon USA","acronym":"ICFP06"},"container-title":["Proceedings of the 2006 ACM SIGPLAN workshop on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159842.1159851","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T13:20:03Z","timestamp":1672924803000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159842.1159851"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,17]]},"references-count":23,"alternative-id":["10.1145\/1159842.1159851","10.1145\/1159842"],"URL":"https:\/\/doi.org\/10.1145\/1159842.1159851","relation":{},"subject":[],"published":{"date-parts":[[2006,9,17]]},"assertion":[{"value":"2006-09-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}