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

      Type Reconstruction for SCI

      proceedings-article

      ,

      Proceedings of the 1995 Glasgow Workshop on Functional Programming (FP)

      Functional Programming

      10-12 July 1995

      Bookmark

            Abstract

            We present a type reconstruction algorithm for SCIR [10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cause any side effects, and that distinct identifiers do not interfere. A reconstruction algorithm for this type system must deal with different kinds (passive and general) and different uses of identifiers (passive and active). In particular, there may not be a unique choice of kinds for type variables. Our work extends SCIR typings with kind constraints . We show that principal type schemes exist for this extended system and outline an algorithm for computing them.

            Content

            Author and article information

            Contributors
            Conference
            July 1995
            July 1995
            : 1-13
            Affiliations
            [0001]Department of Computer Science

            The University of Illinois
            Article
            10.14236/ewic/FP1995.11
            bcb94348-6420-4acd-a8f5-7248e883082b
            © Howard Huang 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