3 ms·

I recommend Lisp In Small Pieces (LISP) by Christian Queinnec and Compiling with Continuations by Andrew Appel if you're interested in writing a functional comp

by anaphor 12y ago

I recommend Lisp In Small Pieces (LISP) by Christian Queinnec and Compiling with Continuations by Andrew Appel if you're interested in writing a functional compiler. Also: http://matt.might.net/articles/cps-conversion/ http://matt.might.net/articles/cps-conversion/ http://lucacardelli.name/Papers/BasicTypechecking.pdf http://lucacardelli.name/Papers/BasicTypechecking.pdf http://library.readscheme.org/page1.html http://library.readscheme.org/page1.html https://research.microsoft.com/pubs/67083/spineless-tagless-gmachine.ps.gz https://research.microsoft.com/pubs/67083/spineless-tagless-... http://www.pipeline.com/~hbaker1/CheneyMTA.html http://www.pipeline.com/~hbaker1/CheneyMTA.html

thu 12y ago
For the interested, I have implemented Cardelli's paper here: https://github.com/noteed/mojito/blob/master/Language/Mojito/Inference/Cardelli/Cardelli.hs https://github.com/noteed/mojito/blob/master/Language/Mojito...
sonyandy 12y ago
In addition to Compiling with Continuations, I found Compiling with Continuations, Continued by Andrew Kennedy very useful, as well. http://research.microsoft.com/pubs/64044/compilingwithcontinuationscontinued.pdf http://research.microsoft.com/pubs/64044/compilingwithcontin...