IIRC, you are into both tech like ML and hardware. I know of LISP machines & eve...

		nickpsecurity on Dec 15, 2015 \| parent \| context \| favorite \| on: Why ML/OCaml are good for writing compilers (1998) IIRC, you are into both tech like ML and hardware. I know of LISP machines & even a G-machine (Haskell) emulator on a Forth chip. However, given verification and non-Turing push, I was looking for a CPU to run algorithms written in Standard ML. Found one and thought you'd enjoy reading it too: http://cstein.kings.cam.ac.uk/~chris/part2/eb379.pdf

Thanks! An interesting one. It's unusual to see an SKI-based implementation of an eager language.