Towards a Strongly Typed Functional Operating System (2002)

by A van Weelden, R Plasmeijer
Venue:In Symp. on the Implementation of Functional Languages (IFL02), LNCS 2670