- Abstract:
-
This document formally defines Lingay, a higher order object oriented programming language inspired by game semantics and intended as a kernel for the proposed Eriskay programming language. The present definition serves as a formal basis for metatheoretical study of the language and for the development of prototype implementations.
- Copyright:
- 2008 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- No links available
- Bibtex format
- @Misc{EDI-INF-RR-1283,
- author = {
John Longley
},
- title = {Definition of the Lingay programming language (Version 0.2)},
- year = 2008,
- month = {Aug},
- }
|