A compiler from Higher Order Logic to hardware (with a detailed survey of the field) (cl.cam.ac.uk) 1 points by procrastitron 18y ago ↗ HN
[–] procrastitron 18y ago ↗ Related projects for other languages:Scheme: http://scheme2006.cs.uchicago.edu/05-saint-mleux.pdfHaskell: http://www-users.cs.york.ac.uk/~mfn/reduceron/
1 comment
[ 15.4 ms ] story [ 14.8 ms ] threadScheme: http://scheme2006.cs.uchicago.edu/05-saint-mleux.pdf
Haskell: http://www-users.cs.york.ac.uk/~mfn/reduceron/