192
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 of the 1995 Glasgow Workshop on Functional Programming (FP)

      Functional Programming

      10-12 July 1995

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 5

          • Record: found
          • Abstract: not found
          • Article: not found

          A game semantics for linear logic

           Andreas Blass (1992)
            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Term graph rewriting

              Bookmark
              • Record: found
              • Abstract: not found
              • Conference Proceedings: not found

              Once upon a type

                Bookmark

                Author and article information

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

                Toernooiveld 1, 6525 ED Nijmegen, The Netherlands
                Article
                10.14236/ewic/FP1995.1
                © 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 (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article