4 ms·
Invited them here plus sent them these semi-related links in case prior work on systems programming in Haskell helps them: http://programatica.cs.pdx.edu/House
by nickpsecurity 10y ago
Invited them here plus sent them these semi-related links in case prior work on systems programming in Haskell helps them:
http://programatica.cs.pdx.edu/House/ http://programatica.cs.pdx.edu/House/
http://programatica.cs.pdx.edu/papers.html http://programatica.cs.pdx.edu/papers.html
- hsyl20 10y agoThanks for the invitation. I've read a little bit about House a few years ago, but maybe I should give another look. My project, however, is more high-level in that I don't plan to write a kernel (device drivers, etc.) as they have done for House.
- nickpsecurity 10y agoAhh. Oh well. I figured it would be fun to look at in worst case. ;)