Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488356979> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1488356979 endingPage "15" @default.
- W1488356979 startingPage "2" @default.
- W1488356979 abstract "The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the most successful approaches to date but, as of yet, has not been applicable to programming with quotient datatypes such as unordered pairs, cyclic lists, bags etc. This paper provides the basis for writing polymorphic programs over quotient datatypes by extending our recently developed theory of containers." @default.
- W1488356979 created "2016-06-24" @default.
- W1488356979 creator A5001718241 @default.
- W1488356979 creator A5044225957 @default.
- W1488356979 creator A5056420469 @default.
- W1488356979 creator A5090954120 @default.
- W1488356979 date "2004-01-01" @default.
- W1488356979 modified "2023-09-23" @default.
- W1488356979 title "Constructing Polymorphic Programs with Quotient Types" @default.
- W1488356979 cites W1520174560 @default.
- W1488356979 cites W1554675847 @default.
- W1488356979 cites W1566578760 @default.
- W1488356979 cites W1578113853 @default.
- W1488356979 cites W1590727593 @default.
- W1488356979 cites W1825484700 @default.
- W1488356979 cites W1828583149 @default.
- W1488356979 cites W2009259962 @default.
- W1488356979 cites W2073216698 @default.
- W1488356979 cites W2120713972 @default.
- W1488356979 cites W2493333586 @default.
- W1488356979 doi "https://doi.org/10.1007/978-3-540-27764-4_2" @default.
- W1488356979 hasPublicationYear "2004" @default.
- W1488356979 type Work @default.
- W1488356979 sameAs 1488356979 @default.
- W1488356979 citedByCount "20" @default.
- W1488356979 countsByYear W14883569792012 @default.
- W1488356979 countsByYear W14883569792014 @default.
- W1488356979 countsByYear W14883569792015 @default.
- W1488356979 countsByYear W14883569792017 @default.
- W1488356979 countsByYear W14883569792019 @default.
- W1488356979 countsByYear W14883569792020 @default.
- W1488356979 countsByYear W14883569792021 @default.
- W1488356979 crossrefType "book-chapter" @default.
- W1488356979 hasAuthorship W1488356979A5001718241 @default.
- W1488356979 hasAuthorship W1488356979A5044225957 @default.
- W1488356979 hasAuthorship W1488356979A5056420469 @default.
- W1488356979 hasAuthorship W1488356979A5090954120 @default.
- W1488356979 hasBestOaLocation W14883569792 @default.
- W1488356979 hasConcept C136119220 @default.
- W1488356979 hasConcept C17744445 @default.
- W1488356979 hasConcept C199360897 @default.
- W1488356979 hasConcept C199422724 @default.
- W1488356979 hasConcept C199539241 @default.
- W1488356979 hasConcept C202444582 @default.
- W1488356979 hasConcept C2776359362 @default.
- W1488356979 hasConcept C2777904410 @default.
- W1488356979 hasConcept C33923547 @default.
- W1488356979 hasConcept C41008148 @default.
- W1488356979 hasConcept C80444323 @default.
- W1488356979 hasConcept C94625758 @default.
- W1488356979 hasConceptScore W1488356979C136119220 @default.
- W1488356979 hasConceptScore W1488356979C17744445 @default.
- W1488356979 hasConceptScore W1488356979C199360897 @default.
- W1488356979 hasConceptScore W1488356979C199422724 @default.
- W1488356979 hasConceptScore W1488356979C199539241 @default.
- W1488356979 hasConceptScore W1488356979C202444582 @default.
- W1488356979 hasConceptScore W1488356979C2776359362 @default.
- W1488356979 hasConceptScore W1488356979C2777904410 @default.
- W1488356979 hasConceptScore W1488356979C33923547 @default.
- W1488356979 hasConceptScore W1488356979C41008148 @default.
- W1488356979 hasConceptScore W1488356979C80444323 @default.
- W1488356979 hasConceptScore W1488356979C94625758 @default.
- W1488356979 hasLocation W14883569791 @default.
- W1488356979 hasLocation W14883569792 @default.
- W1488356979 hasOpenAccess W1488356979 @default.
- W1488356979 hasPrimaryLocation W14883569791 @default.
- W1488356979 hasRelatedWork W1527862632 @default.
- W1488356979 hasRelatedWork W2112962394 @default.
- W1488356979 hasRelatedWork W2118300983 @default.
- W1488356979 hasRelatedWork W2135396778 @default.
- W1488356979 hasRelatedWork W2166247150 @default.
- W1488356979 hasRelatedWork W2382501300 @default.
- W1488356979 hasRelatedWork W2740990710 @default.
- W1488356979 hasRelatedWork W3137189469 @default.
- W1488356979 hasRelatedWork W4235530921 @default.
- W1488356979 hasRelatedWork W4243252198 @default.
- W1488356979 isParatext "false" @default.
- W1488356979 isRetracted "false" @default.
- W1488356979 magId "1488356979" @default.
- W1488356979 workType "book-chapter" @default.