Over the years there have been many projects which seek to use advanced types to provide better static-guarantees in low level languages. There are many examples of this in the literature; here are just a few: Cyclone, perhaps the most-cited example of using types to protect memory in low-level settings. Habit, a proposed Haskell dialect [...]
All posts for the day May 21st, 2010
Announcing Potential: x86-64 assembler as a Haskell EDSL
Posted by intoverflow on 21 May, 2010
http://intoverflow.wordpress.com/2010/05/21/announcing-potential-x86-64-assembler-as-a-haskell-edsl/
Activity on github- An error has occurred; the feed is probably down. Try again later.
-
Flickr Photos
More Photos - Articles of Interest
- A geometric proof of the impossibility of angle trisection by straightedge and compass 10 August, 2011 Terence Tao
- PE Import Table and custom DLL paths 3 July, 2011 j00ru
- June 2011 10 June, 2011 duncan@xrtc.net
- Bitcoin 2 20 May, 2011 Ben
- Marie Curie 9 May, 2011 (author unknown)
- Build your own Programmable Logic Controller 4 May, 2011 Mike Szczys
- Android vold mPartMinors[] Signedness Issue 28 April, 2011 xorl
- Understanding Electric Vehicle Charging 31 January, 2011 (author unknown)
- Hiding a sshd inside a httpd trickery 8 October, 2010 noreply@blogger.com (Icke)
- Let generalisation in GHC 7.0 30 September, 2010 simonpj
