Webpage: http://web.cs.wpi.edu/~jshutt/kernel.html http://web.cs.wpi.edu/~jshutt/kernel.html An implementation: http://klisp.org/ http://klisp.org/ Others: ht

Webpage: http://web.cs.wpi.edu/~jshutt/kernel.html http://web.cs.wpi.edu/~jshutt/kernel.html An implementation: http://klisp.org/ http://klisp.org/ Others: http://axisofeval.blogspot.fr/2011/09/kernel-underground.html http://axisofeval.blogspot.fr/2011/09/kernel-underground.htm...