Towards a strongly typed functional operating system (2002)

by A van Weelden, R Plasmeijer
Venue:In IFL 2002, LNCS