Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145250489> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2145250489 abstract "The theory and practice of polytypic programming is intimately connected with the initial algebra semantics of datatypes. This is both a blessing and a curse. It is a blessing because the underlying theory is beautiful and well developed. It is a curse because the initial algebra semantics is restricted to so-called regular datatypes. Recent work by R. Bird and L. Meertens [3] on the semantics of non-regular or nested datatypes suggests that an extension to general datatypes is not entirely straightforward. Here we propose an alternative that extends polytypism to arbitrary datatypes, including nested datatypes and mutually recursive datatypes. The central idea is to use rational trees over a suitable set of functor symbols as type arguments for polytypic functions. Besides covering a wider range of types the approach is also simpler and technically less involving than previous ones. We present several examples of polytypic functions, among others polytypic reduction and polytypic equality. The presentation assumes some background in functional and in polytypic programming. A basic knowledge of monads is required for some of the examples." @default.
- W2145250489 created "2016-06-24" @default.
- W2145250489 creator A5063247380 @default.
- W2145250489 date "1999-01-01" @default.
- W2145250489 modified "2023-10-13" @default.
- W2145250489 title "Polytypic Functions Over Nested Datatypes" @default.
- W2145250489 cites W1492124994 @default.
- W2145250489 cites W1559314111 @default.
- W2145250489 cites W1604039591 @default.
- W2145250489 cites W1608714802 @default.
- W2145250489 cites W1964952791 @default.
- W2145250489 cites W1973576343 @default.
- W2145250489 cites W1988932014 @default.
- W2145250489 cites W2017532341 @default.
- W2145250489 cites W2027584005 @default.
- W2145250489 cites W2033185534 @default.
- W2145250489 cites W2037984920 @default.
- W2145250489 cites W2058137890 @default.
- W2145250489 cites W2105045857 @default.
- W2145250489 cites W2116908067 @default.
- W2145250489 cites W2123032498 @default.
- W2145250489 cites W2124119770 @default.
- W2145250489 cites W2136202785 @default.
- W2145250489 cites W2151015971 @default.
- W2145250489 cites W2154632906 @default.
- W2145250489 cites W2295914203 @default.
- W2145250489 cites W2912111500 @default.
- W2145250489 cites W2912333754 @default.
- W2145250489 cites W2913811625 @default.
- W2145250489 cites W975212003 @default.
- W2145250489 doi "https://doi.org/10.46298/dmtcs.266" @default.
- W2145250489 hasPublicationYear "1999" @default.
- W2145250489 type Work @default.
- W2145250489 sameAs 2145250489 @default.
- W2145250489 citedByCount "8" @default.
- W2145250489 countsByYear W21452504892016 @default.
- W2145250489 crossrefType "journal-article" @default.
- W2145250489 hasAuthorship W2145250489A5063247380 @default.
- W2145250489 hasBestOaLocation W21452504892 @default.
- W2145250489 hasConcept C118615104 @default.
- W2145250489 hasConcept C136119220 @default.
- W2145250489 hasConcept C156772000 @default.
- W2145250489 hasConcept C166957645 @default.
- W2145250489 hasConcept C177264268 @default.
- W2145250489 hasConcept C184337299 @default.
- W2145250489 hasConcept C199360897 @default.
- W2145250489 hasConcept C202444582 @default.
- W2145250489 hasConcept C2776195157 @default.
- W2145250489 hasConcept C2778029271 @default.
- W2145250489 hasConcept C33923547 @default.
- W2145250489 hasConcept C41008148 @default.
- W2145250489 hasConcept C42383842 @default.
- W2145250489 hasConcept C95457728 @default.
- W2145250489 hasConceptScore W2145250489C118615104 @default.
- W2145250489 hasConceptScore W2145250489C136119220 @default.
- W2145250489 hasConceptScore W2145250489C156772000 @default.
- W2145250489 hasConceptScore W2145250489C166957645 @default.
- W2145250489 hasConceptScore W2145250489C177264268 @default.
- W2145250489 hasConceptScore W2145250489C184337299 @default.
- W2145250489 hasConceptScore W2145250489C199360897 @default.
- W2145250489 hasConceptScore W2145250489C202444582 @default.
- W2145250489 hasConceptScore W2145250489C2776195157 @default.
- W2145250489 hasConceptScore W2145250489C2778029271 @default.
- W2145250489 hasConceptScore W2145250489C33923547 @default.
- W2145250489 hasConceptScore W2145250489C41008148 @default.
- W2145250489 hasConceptScore W2145250489C42383842 @default.
- W2145250489 hasConceptScore W2145250489C95457728 @default.
- W2145250489 hasLocation W21452504891 @default.
- W2145250489 hasLocation W21452504892 @default.
- W2145250489 hasLocation W21452504893 @default.
- W2145250489 hasLocation W21452504894 @default.
- W2145250489 hasLocation W21452504895 @default.
- W2145250489 hasOpenAccess W2145250489 @default.
- W2145250489 hasPrimaryLocation W21452504891 @default.
- W2145250489 hasRelatedWork W1587224678 @default.
- W2145250489 hasRelatedWork W1601811574 @default.
- W2145250489 hasRelatedWork W2087060298 @default.
- W2145250489 hasRelatedWork W2113109742 @default.
- W2145250489 hasRelatedWork W2227683586 @default.
- W2145250489 hasRelatedWork W3157866078 @default.
- W2145250489 hasRelatedWork W39132223 @default.
- W2145250489 hasRelatedWork W4312309273 @default.
- W2145250489 hasRelatedWork W2517671451 @default.
- W2145250489 hasRelatedWork W2787105657 @default.
- W2145250489 hasVolume "Vol. 3 no. 4" @default.
- W2145250489 isParatext "false" @default.
- W2145250489 isRetracted "false" @default.
- W2145250489 magId "2145250489" @default.
- W2145250489 workType "article" @default.