Implementation and use of the PLT scheme web server
From MaRDI portal
Publication:2464729
DOI10.1007/S10990-007-9008-YzbMath1129.68330OpenAlexW1987454389MaRDI QIDQ2464729
Peter Walton Hopkins, Paul T. Graunke, Greg Pettyjohn, Jay McCarthy, Shriram Krishnamurthi, Matthias Felleisen
Publication date: 17 December 2007
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10990-007-9008-y
Related Items (1)
Uses Software
Cites Work
This page was built for publication: Implementation and use of the PLT scheme web server