|
215
|
A nonrecursive list compacting algorithm
– C J Cheney
- 1970
|
|
5
|
A Network Protocol Stack in Standard ML
– Edoardo Biagioni, Robert Harper, Peter Lee
- 2004
|
|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
120
|
A Real-time Garbage Collector with Low Overhead and Consistent Utilization
– David F. Bacon, Perry Cheng, V.T. Rajan
- 2003
|
|
60
|
Generational Stack Collection and Profile-Driven Pretenuring
– Perry Cheng, Robert Harper, Peter Lee
- 1998
|
|
5
|
Lambdas in the Liftshaft - Functional Programming and an Embedded Architecture
– Malcolm Wallace, Colin Runciman
- 1995
|
|
2
|
Modula-3: Language definition. http://www
– L Cardelli, J Donahue, L Glassman, M Jordan, B Kalsow, G Nelson
|
|
2
|
A brief walk thourgh KAOS
– J Cupitt
- 1989
|
|
2
|
The House web page. http://www.cse.ogi.edu/ ~hallgren/House
– T Hallgren
- 2004
|
|
3
|
Bare Metal: A Programatica model of hardware
– M P Jones
- 2005
|
|
5
|
Design and implementation of an operating system
– G Fu
- 1999
|
|
13
|
Nebula: a functional operating system
– K Karlsson
- 1981
|
|
5
|
L4 eXperimental Kernel Reference Manual
– L4ka Team
- 2005
|
|
26
|
Gadgets: Lazy Functional Components for Graphical User Interfaces
– Rob Noble, Colin Runciman
- 1995
|
|
10
|
P-logic: property verification for Haskell programs
– Richard B. Kieburtz
- 2002
|
|
6
|
Functional Programming and Embedded Systems
– Malcolm Wallace
- 1995
|
|
83
|
Safe hardware access with the Xen virtual machine monitor
– Keir Fraser, Steven H, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson
- 2004
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
19
|
Message-based functional operating systems
– W Stoye
- 1986
|
