Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!uakari.primate.wisc.edu!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!lll-winken!tekbspa!uunet!kddlab!titcca!ccut!s.u-tokyo!is.s.u-tokyo!kato
From: kato@is.s.u-tokyo.ac.jp (KATO Kazuhiko)
Newsgroups: comp.lang.functional
Subject: Re: Impact of FPL's on OS design?
Message-ID: <542@weser.is.s.u-tokyo.ac.jp>
Date: 14 Jul 90 05:26:55 GMT
References: <2189@dali> <43178@cornell.UUCP>
Sender: news@is.s.u-tokyo.ac.jp
Organization: Dept. of Info. Sci., Fac. of Sci, Univ. of Tokyo, Japan.
Lines: 25
In-reply-to: murthy@algron.cs.cornell.edu's message of 11 Jul 90 14:25:18 GMT

In article <43178@cornell.UUCP> murthy@algron.cs.cornell.edu (Chet Murthy) writes:

 |Path: is.s.u-tokyo!s.u-tokyo!ccut!sun-barr!decwrl!ucbvax!ucsd!usc!wuarchive!mailrus!cornell!murthy
 |From: murthy@algron.cs.cornell.edu (Chet Murthy)
 |Newsgroups: comp.lang.functional
 |Date: 11 Jul 90 14:25:18 GMT
 |References: <2189@dali>
 |Sender: nobody@cornell.UUCP
 |Organization: Cornell Univ. CS Dept. Ithaca NY
 |Lines: 22
 |
 |The Pegasus people probably have a lot to say about this - they have
 |implemented an entire operating system in a variant of ML.  Now, of
 |course, this ML was quite imperative; nevertheless, they were able to
 |make good use of the polymorphism and higher-order features of ML.

Have any papers of Pegasus been published?  If so, would you tell me
them?

--
Kazuhiko KATO
E-mail: kato@is.s.u-tokyo.ac.jp
Postal: Dept of Info Sci, Fac of Sci, Univ of Tokyo
	7-3-1 Hongo, Bunkyo-Ku Tokyo, 113 JAPAN
Tel: +81 3-812-2111 ex.4104 or 4095	Fax: +81 3-818-1073