Group: comp.lang.functional · Group Profile · Search for Hallgren in comp.lang.functional
Author: ziteribo
Date: Aug 24, 2006 19:27
... I believe it's time for a full-fledge verified OS. http://www.ertos.nicta.com.au/publications/papers/Tuch_KH_05.pdf I am attempting to build a team. http://www.cse.ogi.edu/~hallgren/House/ OS-design : http://www.ertos.nicta.com.au/publications/papers/Leslie_06.pdf ( for transition ) http://www.marcus-brinkmann.org/hurd-ng.pdf http://www.eecg.toronto.edu/~tornado/ ( scalability ...
| 
