Veröffentlichung

Titel:

"None, One, Many - What's the Difference, Anyhow?"

AutorInnen:

Friedrich Steimann

Kategorie:

Konferenzbandbeiträge

erschienen in:

1st Summit on Advances in Programming Languages (SNAPL), Leibniz International Proceedings in Informatics (LIPIcs) 13 (2015) 294—308.

Abstract:

We observe that compared to natural and modelling languages, the differences in expression required to deal with no, one, or many objects in programming languages are particularly pronounced. We identify some problems inherent in type-based unifications of different numbers, and advocate a solution that builds on the introduction of multiplicity as a new grammatical category of programming languages.

Download:

electronic edition via DOI (open access)