A principled approach to operating system construction in Haskell (2005)

Cached

Download Links

by Thomas Hallgren , Mark P Jones , Rebekah Leslie , Andrew Tolmach
Venue:In ICFP ’05: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming
Citations:37 - 3 self

Active Bibliography

3 High-Level ABstractions for Low-Level Programming – Iavor Sotirov Diatchki - 2007
unknown title – Rebekah Leslie, Andrew Tolmach
1 Formalizing Information Flow in a Haskell Hypervisor – Rebekah Leslie
96 How to Declare an Imperative – Philip Wadler - 1995
13 Realtime Signal Processing -- Dataflow, Visual, and Functional Programming – Hideki John Reekie - 1995
3 Type-Checked Message-Passing Between Functional Processes – Malcolm Wallace, Colin Runciman - 1994
1 A Theory of Core Fudgets – Colin J. Taylor - 1998
A Monad of Imperative Streams – Enno Scholz - 1996
7 Four Concurrency Primitives for Haskell – Enno Scholz, Freie Universitt Berlin - 1995
12 The Design of a Functional GUI Library Using Constructor Classes – Ton Vullinghs, Wolfram Schulte, Thilo Schwinn - 1996
Abstract DRAFT – unknown authors
unknown title – unknown authors - 1997
Domain-Specific Embedded Languages – Kevin Backhouse - 2002
89 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
3 Handlers in Action – Ohad Kammar, Sam Lindley, Nicolas Oury
7 Asymptotic Improvement of Computations over Free Monads – Janis Voigtländer, Technische Universität Dresden - 2008
25 Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors – Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand
69 SafeDrive: Safe and recoverable extensions using language-based techniques – Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak - 2006
Under supervision of: – Pierre-evariste Dagand, Prof Timothy Roscoe - 2009