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

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

Title: ScienceOpen Preprints

Publisher: ScienceOpen

Publication date (Electronic preprint): 8 August 2021

Affiliations

[1 ] Department of Informatics

Author notes

[* ]Email: appiahnsiahfrank@ 123456gmail.com .

Author information

Frank Appiah https://orcid.org/0000-0001-6732-9503

Article

DOI: 10.14293/S2199-1006.1.SOR-.PPZQLTI.v1

SO-VID: 53df8011-c72f-4025-a2db-fd14ad729b9c

License:

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 .

History

Date received : 8 August 2021

Data availability: All data generated or analysed during this study are included in this published article (and its supplementary information files).

ScienceOpen disciplines: Programming languages,Computer science

Keywords: Type theory ,Type system ,Assignment ,Judgement ,Environment ,Leelus