Please use this identifier to cite or link to this item:
Title: Uniqueness typing for a higher-order language
Authors: Francalanza, Adrian
Zammit, Melanie
Keywords: Language acquisition
Issue Date: 2014
Publisher: Malta Chamber of Scientists
Citation: Francalanza, A., & Zammit, M. (2014). Uniqueness typing for a higher-order language. Xjenza, 2(2), 14-20
Abstract: We investigate type-based analysis for a higher-order channel passing language with strong update, whereby messages of a different kind are communicated over the same channel. In order to reason about such programs, our type system employs the concept of uniqueness to be able to assert when it is safe to change the object type a channel. We design a type system based on this concept and prove that our type system is sound, meaning that it only accepts programs that do not produce runtime errors.
Appears in Collections:Scholarly Works - FacICTCS
Xjenza, 2014, Volume 2, Issue 2
Xjenza, 2014, Volume 2, Issue 2

Files in This Item:
File Description SizeFormat 
Uniqueness Typing For A Higher-Order Language.pdf768.98 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.