Please use this identifier to cite or link to this item:
|Title:||A Structured Editor for Labelled Bracket Notation|
|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 a... more|
|Appears in Collections:||Masteruppsatser|
This item has been viewed 34 times.