Logo - Fakultät Illustration



"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.

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: PDF
Friedrich Steimann | 17.08.2015
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Programmiersysteme, 58084 Hagen, Tel.: +49 2331 987-2998