A Structured Editor for Labelled Bracket Notation
| dc.contributor.author | Ivarsson, Johan | |
| dc.contributor.department | Göteborgs universitet/Institutionen för data- och informationsteknik | swe |
| dc.contributor.department | University of Gothenburg/Department of Computer Science and Engineering | eng |
| dc.date.accessioned | 2012-09-21T07:53:18Z | |
| dc.date.available | 2012-09-21T07:53:18Z | |
| dc.date.issued | 2012-09-21 | |
| dc.description.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. | sv |
| dc.identifier.uri | http://hdl.handle.net/2077/30363 | |
| dc.language.iso | eng | sv |
| dc.setspec.uppsok | Technology | |
| dc.title | A Structured Editor for Labelled Bracket Notation | sv |
| dc.type | text | |
| dc.type.degree | Student essay | |
| dc.type.uppsok | H2 |