A principled approach to operating system construction in Haskell

DOI10.1145/1086365.1086380zbMATH Open1302.68084OpenAlexW2097889836WikidataQ131136665 ScholiaQ131136665MaRDI QIDQ2936775FDOQ2936775

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

Recommendations

• Publication:4493234
• 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

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)

Cited In (6)

• Composable scheduler activations for Haskell
• A high-level Haskell Java interface
• Title not available (Why is that?)
• Nixos: a purely functional Linux distribution
• The Essence of Multitasking
• Secure Microkernels, State Monads and Scalable Refinement

Uses Software

• Haskell
• GHC

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)