186
views
0
recommends
+1 Recommend
1 collections
    2
    shares
       
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      A Type Theory of Leelus Type System in C++ Programming Language.

      Preprint
      In review
      research-article
        1 ,
      ScienceOpen Preprints
      ScienceOpen
      Type theory , Type system , Assignment , Judgement , Environment , Leelus
      Bookmark

            Abstract

            This research is on type theory, which describes type, term and value in a type system programmed in C++. Type theory is closely related to, and in some cases overlaps with computational type systems, which are a programming language feature used to reduce bugs.

            Content

            Author and article information

            Journal
            ScienceOpen Preprints
            ScienceOpen
            8 August 2021
            Affiliations
            [1 ] Department of Informatics
            Author notes
            Article
            10.14293/S2199-1006.1.SOR-.PPZQLTI.v1
            53df8011-c72f-4025-a2db-fd14ad729b9c

            This work has been published open access under Creative Commons Attribution License CC BY 4.0 , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Conditions, terms of use and publishing policy can be found at www.scienceopen.com .


            All data generated or analysed during this study are included in this published article (and its supplementary information files).
            Programming languages,Computer science
            Type theory ,Type system ,Assignment ,Judgement ,Environment ,Leelus

            Comments

            Comment on this article