Matches in SemOpenAlex for { <https://semopenalex.org/work/W1561848877> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1561848877 endingPage "76" @default.
- W1561848877 startingPage "61" @default.
- W1561848877 abstract "Pattern-matching programming is an example of a rule-based programming style developed in functional languages. This programming style is intensively used in dialects of ML but is restricted to algebraic data-types. This restriction limits the field of application. However, as shown by [9] at RULE'02, case-based function definitions can be extended to more general data structures called topological collections. We show in this paper that this extension retains the benefits of the typed discipline of the functional languages. More precisely, we show that topological collections and the rule-based definition of functions associated with them fit in a polytypic extension of mini-ML where type inference is still possible." @default.
- W1561848877 created "2016-06-24" @default.
- W1561848877 creator A5036757819 @default.
- W1561848877 date "2003-09-01" @default.
- W1561848877 modified "2023-09-27" @default.
- W1561848877 title "Typing rule-based transformations over topological collections" @default.
- W1561848877 cites W2009259962 @default.
- W1561848877 cites W2015256273 @default.
- W1561848877 cites W2019376542 @default.
- W1561848877 cites W2022443117 @default.
- W1561848877 cites W2090177961 @default.
- W1561848877 cites W2128510454 @default.
- W1561848877 cites W2130872776 @default.
- W1561848877 cites W2143145126 @default.
- W1561848877 cites W2163976959 @default.
- W1561848877 cites W2166822586 @default.
- W1561848877 cites W2218973191 @default.
- W1561848877 cites W2912333754 @default.
- W1561848877 cites W82042501 @default.
- W1561848877 doi "https://doi.org/10.1016/s1571-0661(04)80676-5" @default.
- W1561848877 hasPublicationYear "2003" @default.
- W1561848877 type Work @default.
- W1561848877 sameAs 1561848877 @default.
- W1561848877 citedByCount "5" @default.
- W1561848877 countsByYear W15618488772016 @default.
- W1561848877 crossrefType "journal-article" @default.
- W1561848877 hasAuthorship W1561848877A5036757819 @default.
- W1561848877 hasBestOaLocation W15618488771 @default.
- W1561848877 hasConcept C105795698 @default.
- W1561848877 hasConcept C14036430 @default.
- W1561848877 hasConcept C154945302 @default.
- W1561848877 hasConcept C165064840 @default.
- W1561848877 hasConcept C198370458 @default.
- W1561848877 hasConcept C199360897 @default.
- W1561848877 hasConcept C202444582 @default.
- W1561848877 hasConcept C2776214188 @default.
- W1561848877 hasConcept C2778029271 @default.
- W1561848877 hasConcept C33923547 @default.
- W1561848877 hasConcept C41008148 @default.
- W1561848877 hasConcept C42383842 @default.
- W1561848877 hasConcept C68859911 @default.
- W1561848877 hasConcept C7051814 @default.
- W1561848877 hasConcept C78458016 @default.
- W1561848877 hasConcept C80444323 @default.
- W1561848877 hasConcept C86803240 @default.
- W1561848877 hasConcept C9652623 @default.
- W1561848877 hasConceptScore W1561848877C105795698 @default.
- W1561848877 hasConceptScore W1561848877C14036430 @default.
- W1561848877 hasConceptScore W1561848877C154945302 @default.
- W1561848877 hasConceptScore W1561848877C165064840 @default.
- W1561848877 hasConceptScore W1561848877C198370458 @default.
- W1561848877 hasConceptScore W1561848877C199360897 @default.
- W1561848877 hasConceptScore W1561848877C202444582 @default.
- W1561848877 hasConceptScore W1561848877C2776214188 @default.
- W1561848877 hasConceptScore W1561848877C2778029271 @default.
- W1561848877 hasConceptScore W1561848877C33923547 @default.
- W1561848877 hasConceptScore W1561848877C41008148 @default.
- W1561848877 hasConceptScore W1561848877C42383842 @default.
- W1561848877 hasConceptScore W1561848877C68859911 @default.
- W1561848877 hasConceptScore W1561848877C7051814 @default.
- W1561848877 hasConceptScore W1561848877C78458016 @default.
- W1561848877 hasConceptScore W1561848877C80444323 @default.
- W1561848877 hasConceptScore W1561848877C86803240 @default.
- W1561848877 hasConceptScore W1561848877C9652623 @default.
- W1561848877 hasIssue "2" @default.
- W1561848877 hasLocation W15618488771 @default.
- W1561848877 hasLocation W15618488772 @default.
- W1561848877 hasLocation W15618488773 @default.
- W1561848877 hasLocation W15618488774 @default.
- W1561848877 hasOpenAccess W1561848877 @default.
- W1561848877 hasPrimaryLocation W15618488771 @default.
- W1561848877 hasRelatedWork W113898037 @default.
- W1561848877 hasRelatedWork W2027798793 @default.
- W1561848877 hasRelatedWork W2056253254 @default.
- W1561848877 hasRelatedWork W2095136535 @default.
- W1561848877 hasRelatedWork W2156830909 @default.
- W1561848877 hasRelatedWork W2187307536 @default.
- W1561848877 hasRelatedWork W2551794739 @default.
- W1561848877 hasRelatedWork W3126682641 @default.
- W1561848877 hasRelatedWork W4205979273 @default.
- W1561848877 hasRelatedWork W4252649616 @default.
- W1561848877 hasVolume "86" @default.
- W1561848877 isParatext "false" @default.
- W1561848877 isRetracted "false" @default.
- W1561848877 magId "1561848877" @default.
- W1561848877 workType "article" @default.