Design and implementation of an operating system (1999)

by G Fu
Venue:in Standard ML. Master’s thesis, Dept. of Information and Computer Sciences, Univ. Hawaii at Manoa