Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
research
oaioai:gupea.ub.gu.se:2077/30363

A Structured Editor for Labelled Bracket Notation

Authors
Publication date
21 September 2012
Publisher

Abstract

This report describes the development and resulting product of a web-based editor for a simple programming language. This language is an extension of simply typed lambda calculus and labelled bracket notation, with a simple type-system. Each editing operation will only construct well-typed programs. The report is written as a basis for someone with some technical knowledge of type-theory and programming, who wants to further develop the application. The application and its source code can be accessed on http://bonzay.se/dev/master

Similar works

Full text

thumbnail-image

Göteborgs universitets publikationer - e-publicering och e-arkiv

redirect
oaioai:gupea.ub.gu.se:2077/30363
Last time updated on 13/09/2013

This paper was published in Göteborgs universitets publikationer - e-publicering och e-arkiv.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.