GUPEA >
Student essays / Studentuppsatser >
Department of Computer Science and Engineering / Institutionen för data- och informationsteknik >
Masteruppsatser >

A Structured Editor for Labelled Bracket Notation


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/30363

Files in This Item:

File Description SizeFormat
gupea_2077_30363_1.pdf741KbAdobe PDF
View/Open
Title: A Structured Editor for Labelled Bracket Notation
Authors: Ivarsson, Johan
Issue Date: 21-Sep-2012
Degree: Student essay
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
URI: http://hdl.handle.net/2077/30363
Appears in Collections:Masteruppsatser

This item has been viewed 29 times.

 

 

© Göteborgs universitet 2011