はてなブックマーク

Programming Languages: Application and Interpretation Copyright © 2003-07, Shriram Krishnamurthi Creative Commons Attribution-NonCommercial-ShareAlike 3.0 United States License Version 2007-04-26 This is the home page for the first two editions of this book. However, the book has progressed into at least a third edition. There is now a much better home page for all editions at https://plai.org/. P

Shriram Krishnamurthi, Fiona Hopkins, Jay McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias FelleisenHigher-Order and Symbolic Computation, 2007Abstract The PLT Scheme Web Server uses continuations to enable a natural, console-like program development style. We describe the implementation of the server and its use in the development of an application for managing conference paper reviews. In the

This page now lives at: https://plai.org/ You should be redirected in about 10 seconds. If you aren't, please click on the above link.