{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:37:16Z","timestamp":1750307836638,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,18]],"date-time":"2007-10-18T00:00:00Z","timestamp":1192665600000},"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":[[2007,10,18]]},"DOI":"10.1145\/1376789.1376791","type":"proceedings-article","created":{"date-parts":[[2008,6,3]],"date-time":"2008-06-03T18:03:27Z","timestamp":1212516207000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Writing systems software in a functional language"],"prefix":"10.1145","author":[{"given":"Iavor S.","family":"Diatchki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Hallgren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark P.","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rebekah","family":"Leslie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Tolmach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"S\u00e9bastian Carlier and J\u00e9r\u00e9my Bobbio. hOp. http:\/\/etudiants.insia.org\/~jbobbio\/hOp\/ 2004.  S\u00e9bastian Carlier and J\u00e9r\u00e9my Bobbio. hOp. http:\/\/etudiants.insia.org\/~jbobbio\/hOp\/ 2004."},{"key":"e_1_3_2_1_2_1","unstructured":"Manuel M. T. Chakravarty and the Haskell FFI Team. Haskell 98 Foreign Function Interface (1.0) 2003. http:\/\/www.cse.unsw.edu.au\/~chak\/haskell\/ffi.  Manuel M. T. Chakravarty and the Haskell FFI Team. Haskell 98 Foreign Function Interface (1.0) 2003. http:\/\/www.cse.unsw.edu.au\/~chak\/haskell\/ffi."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159842.1159851"},{"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","unstructured":"Iavor Sotirov Diatchki. High-Level Abstractions for Low-Level Programming. PhD thesis OGI School of Science & Engineering at Oregon Health & Science University May 2007.  Iavor Sotirov Diatchki. High-Level Abstractions for Low-Level Programming . PhD thesis OGI School of Science & Engineering at Oregon Health & Science University May 2007."},{"volume-title":"Proceedings of the 1st International Workshop on Microkernels for Embedded Systems","year":"2007","author":"Elkaduwe Dhammika","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","unstructured":"Guangrui Fu. Design and Implementation of an Operating System in Standard ML. Master's thesis University of Hawaii at Manoa August 1999.  Guangrui Fu. Design and Implementation of an Operating System in Standard ML. Master's thesis University of Hawaii at Manoa August 1999."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39864-6_23"},{"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","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243424"},{"key":"e_1_3_2_1_12_1","unstructured":"Intel Corporation. IA-32 Intel Architecture Software Developer's Manual (Volume 3a) January 2006. http:\/\/www.intel.com\/products\/processor\/manuals\/index.htm date viewed: 25 April 2007.  Intel Corporation. IA-32 Intel Architecture Software Developer's Manual (Volume 3a) January 2006. http:\/\/www.intel.com\/products\/processor\/manuals\/index.htm date viewed: 25 April 2007."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001210"},{"key":"e_1_3_2_1_14_1","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_15_1","unstructured":"Bernhard Kauer. L4.sec Implementation - Kernel Memory Management. Diploma Thesis Dresden University of Technology May 2005.  Bernhard Kauer. L4.sec Implementation - Kernel Memory Management. Diploma Thesis Dresden University of Technology May 2005."},{"volume-title":"Ritchie. The C Programming Language. Prentice Hall","year":"1988","author":"Brian","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","unstructured":"L4ka Team. L4 eXperimental Kernel Reference Manual January 2005. http:\/\/14ka.org\/.  L4ka Team. L4 eXperimental Kernel Reference Manual January 2005. http:\/\/14ka.org\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319157"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250788"},{"volume-title":"The Revised Report","year":"2003","author":"Jones Simon Peyton","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"}],"event":{"name":"PLOS07: Workshop on Programming Languages and Operating Systems","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Stevenson Washington","acronym":"PLOS07"},"container-title":["Proceedings of the 4th workshop on Programming languages and operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1376789.1376791","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1376789.1376791","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:58:01Z","timestamp":1750255081000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1376789.1376791"}},"subtitle":["an experience report"],"short-title":[],"issued":{"date-parts":[[2007,10,18]]},"references-count":20,"alternative-id":["10.1145\/1376789.1376791","10.1145\/1376789"],"URL":"https:\/\/doi.org\/10.1145\/1376789.1376791","relation":{},"subject":[],"published":{"date-parts":[[2007,10,18]]},"assertion":[{"value":"2007-10-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}