Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/2342
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. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/2342 |
Appears in Collections: | Scholarly Works - FacICTCS Xjenza, 2014, Volume 2, Issue 2 Xjenza, 2014, Volume 2, Issue 2 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Uniqueness Typing For A Higher-Order Language.pdf | 768.98 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.