3 search results - page 1 / 1 » Type-Safe Disks |
79
Voted
OSDI
2006
ACM
15 years 11 months ago
2006
ACM
We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...
89
Voted
AFP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
96
Voted
IFL
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...