l4-hurd
[
Top
][
All Lists
]
Advanced
[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: L4-hurd Digest, Vol 46, Issue 1
From
:
John DOE
Subject
:
Re: L4-hurd Digest, Vol 46, Issue 1
Date
:
Thu, 4 Jan 2007 01:48:55 +0100
Hi :) !,
Gmail is really a shit to writing mail, I can't copy links ...:
www.cl.cam.ac.uk/research/srg/netos/papers/2005-hotos-vmm.pdf
I know Mercury but somebody told me that it was too heavy at his taste ...
There is
www.e-pig.org
( dependent types for Haskell but it lacks dependent I/O at the current time )
Best Regards,
G.A.T. Guns
www.defcon.org
... The *Hackers* Convention ;) !
reply via email to
[
Prev in Thread
]
Current Thread
[Next in Thread]
Re: L4-hurd Digest, Vol 46, Issue 1
,
arnuld
,
2007/01/03
Re: L4-hurd Digest, Vol 46, Issue 1
,
John DOE
<=
Prev by Date:
Re: L4-hurd Digest, Vol 46, Issue 1
Next by Date:
P2P
Previous by thread:
Re: L4-hurd Digest, Vol 46, Issue 1
Next by thread:
P2P
Index(es):
Date
Thread