[Haskell-cafe] OS design & FP aesthetics
wchogg at gmail.com
Mon Jun 18 20:13:11 EDT 2007
On 6/18/07, Thomas Conway <drtomc at gmail.com> wrote:
> On 6/19/07, Creighton Hogg <wchogg at gmail.com> wrote:
> > Okay, I remember seeing an example of this before , but I'm not sure if
> > see what language based security Haskell's type system could provide in
> > protecting address spaces from each other. Normally I've seen
> > used so that you can't access anything you can't name. Can you
> elaborate a
> > little?
> Nothing new here. Haskell might be more elegant than some of the
> earlier proposals, but the idea is old. FWIW, my PhD supervisor,
> Zoltan Somogyi did his PhD thesis on exactly such a scheme, using
> logic programming, rather than lazy functional programming. I'm not
> sure if the thesis itself is online.
Actually it is! Thank you for the reference.
in case anyone else is interested
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe