A principled approach to operating system construction in Haskell

DOI10.1145/1086365.1086380MaRDI QIDQ2936775zbMATH OpenOpenAlexWikidataFDO

Authors Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach

Publication date 6 January 2015

Published in Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1086365.1086380

zbMATH Keywords

verificationmonadsoperating systemsHaskellprogramming logichardware interface

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Functional programming and lambda calculus (68N18) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 1484290
• The Essence of Multitasking
• A high-level Haskell Java interface
• Secure Microkernels, State Monads and Scalable Refinement
• Experience report: seL4, formally verifying a high-performance microkernel

Cited in

(6)

• Composable scheduler activations for Haskell
• A high-level Haskell Java interface
• scientific article; zbMATH DE number 1484290 (Why is no real title available?)
• Nixos: a purely functional Linux distribution
• The Essence of Multitasking
• Secure Microkernels, State Monads and Scalable Refinement

Describes a project that uses

Uses Software

• GHC
• Haskell

This page was built for publication: A principled approach to operating system construction in Haskell

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2936775)