Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100791566> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3100791566 endingPage "71" @default.
- W3100791566 startingPage "57" @default.
- W3100791566 abstract "We explore a data structure that generalises rectangular multi-dimensional arrays. The shape of an n-dimensional array is typically given by a tuple of n natural numbers. Each element in that tuple defines the length of the corresponding axis. If we treat this tuple as an array, the shape of that array is described by the single natural number n. A natural number itself can be also treated as an array with the shape described by the natural number 1 (or the element of any singleton set). This observation gives rise to the hierarchy of array types where the shape of an array of level l+1 is a level-l array of natural numbers. Such a hierarchy occurs naturally when treating arrays as containers, which makes it possible to define both rank- and level-polymorphic operations. The former can be found in most array languages, whereas the latter gives rise to partial selections on a large set of hyperplanes, which is often useful in practice. In this paper we present an Agda formalisation of arrays with levels. We show that the proposed formalism supports standard rank-polymorphic array operations, while type system gives static guarantees that indexing is within bounds. We generalise the notion of ranked operator so that it becomes applicable on arrays of arbitrary levels and we show why this may be useful in practice." @default.
- W3100791566 created "2020-11-23" @default.
- W3100791566 creator A5017082458 @default.
- W3100791566 date "2020-05-01" @default.
- W3100791566 modified "2023-10-16" @default.
- W3100791566 title "Multi-dimensional Arrays with Levels" @default.
- W3100791566 cites W1019939734 @default.
- W3100791566 cites W1512120669 @default.
- W3100791566 cites W1520174560 @default.
- W3100791566 cites W1554675847 @default.
- W3100791566 cites W1564453741 @default.
- W3100791566 cites W1810446968 @default.
- W3100791566 cites W2079640625 @default.
- W3100791566 cites W2098932822 @default.
- W3100791566 cites W2158094629 @default.
- W3100791566 cites W2569339511 @default.
- W3100791566 cites W3005614952 @default.
- W3100791566 cites W4252345548 @default.
- W3100791566 doi "https://doi.org/10.4204/eptcs.317.4" @default.
- W3100791566 hasPublicationYear "2020" @default.
- W3100791566 type Work @default.
- W3100791566 sameAs 3100791566 @default.
- W3100791566 citedByCount "1" @default.
- W3100791566 countsByYear W31007915662023 @default.
- W3100791566 crossrefType "journal-article" @default.
- W3100791566 hasAuthorship W3100791566A5017082458 @default.
- W3100791566 hasBestOaLocation W31007915661 @default.
- W3100791566 hasConcept C11413529 @default.
- W3100791566 hasConcept C114614502 @default.
- W3100791566 hasConcept C118615104 @default.
- W3100791566 hasConcept C118930307 @default.
- W3100791566 hasConcept C162324750 @default.
- W3100791566 hasConcept C164226766 @default.
- W3100791566 hasConcept C177264268 @default.
- W3100791566 hasConcept C184264201 @default.
- W3100791566 hasConcept C199360897 @default.
- W3100791566 hasConcept C31170391 @default.
- W3100791566 hasConcept C33923547 @default.
- W3100791566 hasConcept C34447519 @default.
- W3100791566 hasConcept C41008148 @default.
- W3100791566 hasConcept C68693459 @default.
- W3100791566 hasConcept C80444323 @default.
- W3100791566 hasConceptScore W3100791566C11413529 @default.
- W3100791566 hasConceptScore W3100791566C114614502 @default.
- W3100791566 hasConceptScore W3100791566C118615104 @default.
- W3100791566 hasConceptScore W3100791566C118930307 @default.
- W3100791566 hasConceptScore W3100791566C162324750 @default.
- W3100791566 hasConceptScore W3100791566C164226766 @default.
- W3100791566 hasConceptScore W3100791566C177264268 @default.
- W3100791566 hasConceptScore W3100791566C184264201 @default.
- W3100791566 hasConceptScore W3100791566C199360897 @default.
- W3100791566 hasConceptScore W3100791566C31170391 @default.
- W3100791566 hasConceptScore W3100791566C33923547 @default.
- W3100791566 hasConceptScore W3100791566C34447519 @default.
- W3100791566 hasConceptScore W3100791566C41008148 @default.
- W3100791566 hasConceptScore W3100791566C68693459 @default.
- W3100791566 hasConceptScore W3100791566C80444323 @default.
- W3100791566 hasLocation W31007915661 @default.
- W3100791566 hasLocation W31007915662 @default.
- W3100791566 hasOpenAccess W3100791566 @default.
- W3100791566 hasPrimaryLocation W31007915661 @default.
- W3100791566 hasRelatedWork W1641727897 @default.
- W3100791566 hasRelatedWork W1978042415 @default.
- W3100791566 hasRelatedWork W2067732528 @default.
- W3100791566 hasRelatedWork W2148606335 @default.
- W3100791566 hasRelatedWork W2204285657 @default.
- W3100791566 hasRelatedWork W2316556093 @default.
- W3100791566 hasRelatedWork W2570499741 @default.
- W3100791566 hasRelatedWork W2963035465 @default.
- W3100791566 hasRelatedWork W2985447680 @default.
- W3100791566 hasRelatedWork W4312206293 @default.
- W3100791566 hasVolume "317" @default.
- W3100791566 isParatext "false" @default.
- W3100791566 isRetracted "false" @default.
- W3100791566 magId "3100791566" @default.
- W3100791566 workType "article" @default.