Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Definition of the Lingay programming language (Version 0.2)
Authors: John Longley
Date:Aug 2008
Publication Type:Design Publication Status:Pre-print
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.
2008 by The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
author = { John Longley },
title = {Definition of the Lingay programming language (Version 0.2)},
year = 2008,
month = {Aug},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh