2 ms·
Galois are doing lots of interesting things in this space, including HaLVM, which allows you to write Haskell programs that run without an OS [1] [1] http://co
by DanWaterworth 13y ago
Galois are doing lots of interesting things in this space, including HaLVM, which allows you to write Haskell programs that run without an OS [1]
[1] http://corp.galois.com/halvm http://corp.galois.com/halvm
- chas 13y agoAbsolutely! I am very interested by their approach in this area because integration with existing infrastructure is essential for practical work in this area, but reasoning about existing infrastructure is a lot harder than it needs to be. This is a relatively old presentation of theirs, but it has a decent overview of what they have used Haskell for. http://www.cse.chalmers.se/edu/year/2010/course/TDA555/Material/Guest1/magnus.pdf http://www.cse.chalmers.se/edu/year/2010/course/TDA555/Mater...