Uniqueness logic |
| |
| Authors: | Dana Harrington |
| |
| Affiliation: | Department of Computer Science, University of Calgary, Canada |
| |
| Abstract: | A uniqueness type system is used to distinguish values which are referenced at most once from values which may be referenced an arbitrary number of times in a program. Uniqueness type systems are used in the Clean and Mercury programming languages to provide efficiently updatable data-structures and I/O without compromising referential transparency. |
| |
| Keywords: | Type systems Linear logic Functional programming Category theory Semantics |
| 本文献已被 ScienceDirect 等数据库收录！ |
