The most, imho, accessible discussion of this stuff is Dybvig's 3 implementations of scheme. The first 75 pages or so are just a great way of using a functional style of thinking to implement a functional VM. http://www.cs.unm.edu/~williams/cs491/three-imp.pdf
It's long and dense, but there's is a valuable point view there, and scheme sidesteps the whole strong typing set of issues. You get a complete, optimized scheme interepreter in , what?, maybe 150 lines of code? seminal paper for an autodidact.
It's long and dense, but there's is a valuable point view there, and scheme sidesteps the whole strong typing set of issues. You get a complete, optimized scheme interepreter in , what?, maybe 150 lines of code? seminal paper for an autodidact.