License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.SNAPL.2015.294
URN: urn:nbn:de:0030-drops-50329
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5032/
Go to the corresponding LIPIcs Volume Portal

Steimann, Friedrich

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

pdf-format:
22.pdf (0.5 MB)

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.

BibTeX - Entry

@InProceedings{steimann:LIPIcs:2015:5032,
  author =	{Friedrich Steimann},
  title =	{{None, One, Many - What's the Difference, Anyhowl}},
  booktitle =	{1st Summit on Advances in Programming Languages (SNAPL 2015)},
  pages =	{294--308},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-80-4},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{32},
  editor =	{Thomas Ball and Rastislav Bodik and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5032},
  URN =		{urn:nbn:de:0030-drops-50329},
  doi =		{10.4230/LIPIcs.SNAPL.2015.294},
  annote =	{Keywords: objects, collections, relationships, pointers, multiplicity, null}
}

Keywords: objects, collections, relationships, pointers, multiplicity, null
Collection: 1st Summit on Advances in Programming Languages (SNAPL 2015)
Issue Date: 2015
Date of publication: 30.04.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI