Purely Functional Operating Systems (1982)

by P Henderson
Venue:In Functional Programming and its Applications