Towards a Strongly Typed Functional Operating System.

Arjen van Weelden Marinus J. Plasmeijer

Published in: IFL (2002)

Keyphrases

operating system
strongly typed
programming language
computer systems
virtual machine
application level
microsoft windows
distributed systems
application programs
virtual memory
operating environment
windows xp
open source
memory management
command line