[mercury-users] declarative kernels

Michael Day mcda at students.cs.mu.oz.au
Sat Mar 4 12:01:15 AEDT 2000


Hi,

given the recent discussion of coroutines and concurrency, does anyone
have any references to declarative operating system kernels, or work being
done in this area? What exactly does io__state represent, when it's being
passed to multiple programs by another underlying program?

Michael
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list