Towards a Strongly Typed Functional Operating System (2002)

by Arjen Van Weelden , Rinus Plasmeijer
Venue:The 14th International Workshop on the Implementation of Functional Languages, IFL'02, Selected Papers, volume 2670 of LNCS
Citations:11 - 4 self