Purely Functional Operating Systems (1982)

by P Henderson
Venue:In Proceedings of the Conference on Functional Programming and Its Applications