Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912333754> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2912333754 endingPage "114" @default.
- W2912333754 startingPage "68" @default.
- W2912333754 abstract "Many functions have to be written over and over again for different datatypes, either because datatypes change during the development of programs, or because functions with similar functionality are needed on different datatypes. Examples of such functions are pretty printers, debuggers, equality functions, unifiers, pattern matchers, rewriting functions, etc. Such functions are called polytypic functions. A polytypic function is a function that is defined by induction on the structure of user-defined datatypes. This paper introduces polytypic functions, and shows how to construct and reason about polytypic functions. A larger example is studied in detail: polytypic functions for term rewriting and for determining whether a collection of rewrite rules is normalising." @default.
- W2912333754 created "2019-02-21" @default.
- W2912333754 creator A5011892251 @default.
- W2912333754 creator A5032737176 @default.
- W2912333754 date "1996-01-01" @default.
- W2912333754 modified "2023-09-23" @default.
- W2912333754 title "Polytypic programming" @default.
- W2912333754 cites W1492124994 @default.
- W2912333754 cites W1513579486 @default.
- W2912333754 cites W1558180172 @default.
- W2912333754 cites W1559314111 @default.
- W2912333754 cites W1563218161 @default.
- W2912333754 cites W1608714802 @default.
- W2912333754 cites W1996378909 @default.
- W2912333754 cites W2009259962 @default.
- W2912333754 cites W2033185534 @default.
- W2912333754 cites W2037729105 @default.
- W2912333754 cites W2046645050 @default.
- W2912333754 cites W2051078013 @default.
- W2912333754 cites W2055027013 @default.
- W2912333754 cites W2057292961 @default.
- W2912333754 cites W2061891986 @default.
- W2912333754 cites W2062950667 @default.
- W2912333754 cites W2116908067 @default.
- W2912333754 cites W2117818027 @default.
- W2912333754 cites W2121306658 @default.
- W2912333754 cites W2124119770 @default.
- W2912333754 cites W2157266926 @default.
- W2912333754 cites W4206120425 @default.
- W2912333754 cites W4244792373 @default.
- W2912333754 doi "https://doi.org/10.1007/3-540-61628-4_3" @default.
- W2912333754 hasPublicationYear "1996" @default.
- W2912333754 type Work @default.
- W2912333754 sameAs 2912333754 @default.
- W2912333754 citedByCount "65" @default.
- W2912333754 countsByYear W29123337542012 @default.
- W2912333754 countsByYear W29123337542013 @default.
- W2912333754 countsByYear W29123337542016 @default.
- W2912333754 countsByYear W29123337542022 @default.
- W2912333754 crossrefType "book-chapter" @default.
- W2912333754 hasAuthorship W2912333754A5011892251 @default.
- W2912333754 hasAuthorship W2912333754A5032737176 @default.
- W2912333754 hasConcept C14036430 @default.
- W2912333754 hasConcept C154690210 @default.
- W2912333754 hasConcept C199360897 @default.
- W2912333754 hasConcept C2780801425 @default.
- W2912333754 hasConcept C41008148 @default.
- W2912333754 hasConcept C42383842 @default.
- W2912333754 hasConcept C78458016 @default.
- W2912333754 hasConcept C80444323 @default.
- W2912333754 hasConcept C86803240 @default.
- W2912333754 hasConceptScore W2912333754C14036430 @default.
- W2912333754 hasConceptScore W2912333754C154690210 @default.
- W2912333754 hasConceptScore W2912333754C199360897 @default.
- W2912333754 hasConceptScore W2912333754C2780801425 @default.
- W2912333754 hasConceptScore W2912333754C41008148 @default.
- W2912333754 hasConceptScore W2912333754C42383842 @default.
- W2912333754 hasConceptScore W2912333754C78458016 @default.
- W2912333754 hasConceptScore W2912333754C80444323 @default.
- W2912333754 hasConceptScore W2912333754C86803240 @default.
- W2912333754 hasLocation W29123337541 @default.
- W2912333754 hasOpenAccess W2912333754 @default.
- W2912333754 hasPrimaryLocation W29123337541 @default.
- W2912333754 hasRelatedWork W1032572692 @default.
- W2912333754 hasRelatedWork W1536626602 @default.
- W2912333754 hasRelatedWork W1866859260 @default.
- W2912333754 hasRelatedWork W2018501482 @default.
- W2912333754 hasRelatedWork W2041037071 @default.
- W2912333754 hasRelatedWork W2084470481 @default.
- W2912333754 hasRelatedWork W2099473324 @default.
- W2912333754 hasRelatedWork W2168393711 @default.
- W2912333754 hasRelatedWork W2466581924 @default.
- W2912333754 hasRelatedWork W2764317176 @default.
- W2912333754 isParatext "false" @default.
- W2912333754 isRetracted "false" @default.
- W2912333754 magId "2912333754" @default.
- W2912333754 workType "book-chapter" @default.