294
views
0
recommends
+1 Recommend
1 collections
    1
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Uniqueness Typing in Natural Deduction Style

      proceedings-article
      ,
      Proceedings of the 1995 Glasgow Workshop on Functional Programming (FP)
      Functional Programming
      10-12 July 1995
      Bookmark

            Abstract

            We present two type systems for graph rewriting: conventional typing and (polymorphic) uniqueness typing. The latter is introduced as a natural extension of simple algebraic and higher-order uniqueness typing. The systems are given in natural deduction style using an inductive syntax of graph denotations with familiar constructs such as let and case . The conventional system resembles traditional Curry-style typing systems in functional programming languages. Uniqueness typing extends this with reference count information. In both type systems, typing is preserved during evaluation, and types can be determined effectively. Due to the present formalization, the system can easily be compared with other proposals based on linear and affine logic.

            Content

            Author and article information

            Contributors
            Conference
            July 1995
            July 1995
            : 1-10
            Affiliations
            [0001]University of Nijmegen, Computing Science Institute

            Toernooiveld 1, 6525 ED Nijmegen, The Netherlands
            Article
            10.14236/ewic/FP1995.1
            a8c1532d-2c51-408c-884a-36c6524af337
            © Erik Barendsen et al. Published by BCS Learning and Development Ltd. Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the 1995 Glasgow Workshop on Functional Programming
            FP
            Ullapool, Scotland
            10-12 July 1995
            Electronic Workshops in Computing (eWiC)
            Functional Programming
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FP1995.1
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article