XSLAM - The Explicit Substitution Linear Abstract Machine

  • Ritter, Eike (Principal Investigator)
  • De Paiva, Valeria (Co-Investigator)

Project Details

Short titleXSLAM - The Explicit Substitution Linear Abstract Machine
StatusFinished
Effective start/end date1/01/9731/03/00

Funding

  • Engineering & Physical Science Research Council