Location of Repository

A Structured Editor for Labelled Bracket Notation

By Johan Ivarsson


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

Year: 2012
OAI identifier: oai:gupea.ub.gu.se:2077/30363
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/2077/303... (external link)
  • http://bonzay.se/dev/master. (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.