6 ms·
This work might give you some ideas even though it's a bit dated: http://programatica.cs.pdx.edu/House/ http://programatica.cs.pdx.edu/House/ Also, COGENT for
by nickpsecurity 10y ago
This work might give you some ideas even though it's a bit dated:
http://programatica.cs.pdx.edu/House/ http://programatica.cs.pdx.edu/House/
Also, COGENT for lowest-level stuff being wrapped for use in Haskell somehow might be interesting. Used on ext2 filesystem already.
https://ts.data61.csiro.au/projects/TS/cogent.pml https://ts.data61.csiro.au/projects/TS/cogent.pml
- mands 10y agoThanks for the pointers - house is great, I remember reading some of the papers a long time ago. I haven't seen COGENT before - will take a look over the weekend - thanks!