{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:11Z","timestamp":1772163971566,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":26,"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.1086380","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"116-128","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["A principled approach to operating system construction in Haskell"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Hallgren","sequence":"first","affiliation":[{"name":"Oregon Health & Science University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark P.","family":"Jones","sequence":"additional","affiliation":[{"name":"Oregon Health & Science University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rebekah","family":"Leslie","sequence":"additional","affiliation":[{"name":"Portland State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Tolmach","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","unstructured":"F. Bellard. QEMU. http:\/\/fabrice.bellard.free.fr\/qemu\/.  F. Bellard. QEMU. http:\/\/fabrice.bellard.free.fr\/qemu\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014403914699"},{"key":"e_1_3_2_1_3_1","unstructured":"L. Cardelli J. Donahue L. Glassman M. Jordan B. Kalsow and G. Nelson. Modula-3: Language definition. http:\/\/www.research.compaq.com\/SRC\/m3defn\/html\/complete.html.  L. Cardelli J. Donahue L. Glassman M. Jordan B. Kalsow and G. Nelson. Modula-3: Language definition. http:\/\/www.research.compaq.com\/SRC\/m3defn\/html\/complete.html."},{"key":"e_1_3_2_1_4_1","unstructured":"S. Carlier and J. Bobbio. hOp. http:\/\/www.macs.hw.ac.uk\/~sebc\/hOp\/ 2004.  S. Carlier and J. Bobbio. hOp. http:\/\/www.macs.hw.ac.uk\/~sebc\/hOp\/ 2004."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029873.1029893"},{"key":"e_1_3_2_1_7_1","unstructured":"Cyclone. http:\/\/www.research.att.com\/projects\/cyclone\/.  Cyclone. http:\/\/www.research.att.com\/projects\/cyclone\/."},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. OASIS ASPLOS Workshop","author":"Fraser K.","year":"2004","unstructured":"K. Fraser , S. Hand , R. Neugebauer , I. Pratt , A. Warfield , and M. Williamson . Safe hardware access with the Xen virtual machine monitor . In Proc. OASIS ASPLOS Workshop , 2004 . K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield, and M. Williamson. Safe hardware access with the Xen virtual machine monitor. In Proc. OASIS ASPLOS Workshop, 2004."},{"key":"e_1_3_2_1_9_1","volume-title":"Design and implementation of an operating system in Standard ML. Master's thesis","author":"Fu G.","year":"1999","unstructured":"G. Fu . Design and implementation of an operating system in Standard ML. Master's thesis , University of Hawaii , August 1999 . G. Fu. Design and implementation of an operating system in Standard ML. Master's thesis, University of Hawaii, August 1999."},{"key":"e_1_3_2_1_10_1","unstructured":"Glasgow haskell compiler. http:\/\/www.haskell.org\/ghc.  Glasgow haskell compiler. http:\/\/www.haskell.org\/ghc."},{"key":"e_1_3_2_1_11_1","unstructured":"Grub. http:\/\/www.gnu.org\/software\/grub\/.  Grub. http:\/\/www.gnu.org\/software\/grub\/."},{"key":"e_1_3_2_1_12_1","unstructured":"T. Hallgren. The House web page. http:\/\/www.cse.ogi.edu\/~hallgren\/House\/ 2004.  T. Hallgren. The House web page. http:\/\/www.cse.ogi.edu\/~hallgren\/House\/ 2004."},{"key":"e_1_3_2_1_13_1","volume-title":"IA-32 Intel Architecture Software Developer's Manual Volume 3: System Programming Guide","author":"Intel Corp.","year":"2004","unstructured":"Intel Corp. IA-32 Intel Architecture Software Developer's Manual Volume 3: System Programming Guide , 2004 . Intel Corp. IA-32 Intel Architecture Software Developer's Manual Volume 3: System Programming Guide, 2004."},{"key":"e_1_3_2_1_14_1","first-page":"275","volume-title":"Cyclone: A Safe Dialect of C. In USENIX Annual Technical Conference","author":"Jim T.","year":"2002","unstructured":"T. Jim , G. Morrisett , D. Grossman , M. Hicks , J. Cheney , and Y. Wang . Cyclone: A Safe Dialect of C. In USENIX Annual Technical Conference , pages 275 -- 288 , June 2002 . T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y.Wang. Cyclone: A Safe Dialect of C. In USENIX Annual Technical Conference, pages 275--288, June 2002."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647698.734150"},{"key":"e_1_3_2_1_16_1","volume-title":"High Confidence Software and Systems Conference","author":"Jones M. P.","year":"2005","unstructured":"M. P. Jones . Bare Metal : A Programatica model of hardware . In High Confidence Software and Systems Conference , Baltimore, MD , March 2005 . M. P. Jones. Bare Metal: A Programatica model of hardware. In High Confidence Software and Systems Conference, Baltimore, MD, March 2005."},{"key":"e_1_3_2_1_17_1","volume-title":"Nebula: A functional operating system. Technical report","author":"Karlsson K.","year":"1981","unstructured":"K. Karlsson . Nebula: A functional operating system. Technical report , Programing Methodology Group, University of G\u00f6teborg and Chalmers University of Technology , 1981 . K. Karlsson. Nebula: A functional operating system. Technical report, Programing Methodology Group, University of G\u00f6teborg and Chalmers University of Technology, 1981."},{"key":"e_1_3_2_1_18_1","volume-title":"August","author":"Kieburtz R. B.","year":"2002","unstructured":"R. B. Kieburtz . P-logic: Property verification for Haskell programs. ftp:\/\/ftp.cse.ogi.edu\/pub\/pacsoft\/papers\/Plogic.pdf , August 2002 . R. B. Kieburtz. P-logic: Property verification for Haskell programs. ftp:\/\/ftp.cse.ogi.edu\/pub\/pacsoft\/papers\/Plogic.pdf, August 2002."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_1_20_1","volume-title":"University of York","author":"Noble R.","year":"1995","unstructured":"R. Noble . Lazy Functional Components for Graphical User Interface. PhD thesis , University of York , November 1995 . R. Noble. Lazy Functional Components for Graphical User Interface. PhD thesis, University of York, November 1995."},{"key":"e_1_3_2_1_21_1","unstructured":"The OSKit Project. http:\/\/www.cs.utah.edu\/flux\/oskit\/.  The OSKit Project. http:\/\/www.cs.utah.edu\/flux\/oskit\/."},{"key":"e_1_3_2_1_22_1","volume-title":"www.cse.ogi.edu\/PacSoft\/projects\/programatica\/","author":"The Programatica","year":"2002","unstructured":"The Programatica Project home page. www.cse.ogi.edu\/PacSoft\/projects\/programatica\/ , 2002 . The Programatica Project home page. www.cse.ogi.edu\/PacSoft\/projects\/programatica\/, 2002."},{"key":"e_1_3_2_1_23_1","volume-title":"http:\/\/www.cs.washington.edu\/research\/projects\/spin\/www\/","author":"The SPIN","year":"1997","unstructured":"The SPIN project. http:\/\/www.cs.washington.edu\/research\/projects\/spin\/www\/ , 1997 . The SPIN project. http:\/\/www.cs.washington.edu\/research\/projects\/spin\/www\/, 1997."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/14166.14169"},{"key":"e_1_3_2_1_25_1","unstructured":"L. Team. L4 eXperimental Kernel Reference Manual January 2005.  L. Team. L4 eXperimental Kernel Reference Manual January 2005."},{"key":"e_1_3_2_1_26_1","volume-title":"Version: 3.0","author":"Video Electronics Standards Association","year":"1998","unstructured":"Video Electronics Standards Association . VESA BIOS EXTENSION (VBE) - Core Functions Standard , Version: 3.0 , September 1998 . www.vesa.org. Video Electronics Standards Association. VESA BIOS EXTENSION (VBE) - Core Functions Standard, Version: 3.0, September 1998. www.vesa.org."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224213"}],"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.1086380","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086365.1086380","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.1086380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,12]]},"references-count":26,"alternative-id":["10.1145\/1086365.1086380","10.1145\/1086365"],"URL":"https:\/\/doi.org\/10.1145\/1086365.1086380","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1090189.1086380","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"}}]}}