User Tools

Site Tools


blog:2010:08:04:typing_haskell_in_ml

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
blog:2010:08:04:typing_haskell_in_ml [2010/08/05 13:17]
csoldani fixed a bug with byInst and de-inlined the code
blog:2010:08:04:typing_haskell_in_ml [2011/02/20 20:28] (current)
Line 1: Line 1:
 ====== Typing Haskell in ML ====== ====== Typing Haskell in ML ======
  
-{{tag>​Haskell,OCaml,​Programming}}+{{tag>Compiler ​Haskell OCaml}}
  
 This post presents a quick translation of the haskell code of the article [[http://​web.cecs.pdx.edu/​~mpj/​thih/​|Typing Haskell in Haskell]] by Mark P. Jones to OCaml. This post presents a quick translation of the haskell code of the article [[http://​web.cecs.pdx.edu/​~mpj/​thih/​|Typing Haskell in Haskell]] by Mark P. Jones to OCaml.
blog/2010/08/04/typing_haskell_in_ml.1281007052.txt.gz ยท Last modified: 2011/02/20 20:28 (external edit)