Matches in SemOpenAlex for { <https://semopenalex.org/work/W83661271> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W83661271 abstract "Pattern matching of algebraic data types (ADTs) is a standard feature in typed functional programming languages but it is well known that it interacts poorly with abstraction. While several partial solutions to this problem have been proposed, few have been implemented or used. This paper describes an extension to the .NET language F# called “Active Patterns”, which supports pattern matching over abstract representations of generic heterogeneous data such as XML and term structures, including where these are represented via object models in other .NET languages. Our design is the first to incorporate both ad hoc pattern matching functions for partial decompositions and “views” for total decompositions, and yet remains a simple and lightweight extension. We give a description of the language extension along with numerous motivating examples. Finally we describe how this feature would interact with other reasonable and related language extensions: existential types quantified at data discrimination tags, GADTs, and monadic generalizations of pattern matching." @default.
- W83661271 created "2016-06-24" @default.
- W83661271 creator A5007155449 @default.
- W83661271 creator A5019551241 @default.
- W83661271 creator A5041794657 @default.
- W83661271 date "2007-04-01" @default.
- W83661271 modified "2023-09-27" @default.
- W83661271 title "Combining Total and Ad Hoc Extensible Pattern Matching in a Lightweight Language Extension" @default.
- W83661271 cites W1597362145 @default.
- W83661271 cites W1606121052 @default.
- W83661271 cites W2011941456 @default.
- W83661271 cites W2096314727 @default.
- W83661271 cites W2110178237 @default.
- W83661271 cites W2114980032 @default.
- W83661271 cites W2118578267 @default.
- W83661271 cites W2125690388 @default.
- W83661271 cites W2129990308 @default.
- W83661271 cites W2133546079 @default.
- W83661271 cites W2141447233 @default.
- W83661271 cites W2147125687 @default.
- W83661271 cites W2166643856 @default.
- W83661271 cites W2914943882 @default.
- W83661271 hasPublicationYear "2007" @default.
- W83661271 type Work @default.
- W83661271 sameAs 83661271 @default.
- W83661271 citedByCount "0" @default.
- W83661271 crossrefType "journal-article" @default.
- W83661271 hasAuthorship W83661271A5007155449 @default.
- W83661271 hasAuthorship W83661271A5019551241 @default.
- W83661271 hasAuthorship W83661271A5041794657 @default.
- W83661271 hasConcept C105795698 @default.
- W83661271 hasConcept C111472728 @default.
- W83661271 hasConcept C111919701 @default.
- W83661271 hasConcept C124304363 @default.
- W83661271 hasConcept C138885662 @default.
- W83661271 hasConcept C138958017 @default.
- W83661271 hasConcept C165064840 @default.
- W83661271 hasConcept C199360897 @default.
- W83661271 hasConcept C2776401178 @default.
- W83661271 hasConcept C2778029271 @default.
- W83661271 hasConcept C33923547 @default.
- W83661271 hasConcept C41008148 @default.
- W83661271 hasConcept C41895202 @default.
- W83661271 hasConcept C42383842 @default.
- W83661271 hasConcept C68859911 @default.
- W83661271 hasConcept C80444323 @default.
- W83661271 hasConcept C8797682 @default.
- W83661271 hasConceptScore W83661271C105795698 @default.
- W83661271 hasConceptScore W83661271C111472728 @default.
- W83661271 hasConceptScore W83661271C111919701 @default.
- W83661271 hasConceptScore W83661271C124304363 @default.
- W83661271 hasConceptScore W83661271C138885662 @default.
- W83661271 hasConceptScore W83661271C138958017 @default.
- W83661271 hasConceptScore W83661271C165064840 @default.
- W83661271 hasConceptScore W83661271C199360897 @default.
- W83661271 hasConceptScore W83661271C2776401178 @default.
- W83661271 hasConceptScore W83661271C2778029271 @default.
- W83661271 hasConceptScore W83661271C33923547 @default.
- W83661271 hasConceptScore W83661271C41008148 @default.
- W83661271 hasConceptScore W83661271C41895202 @default.
- W83661271 hasConceptScore W83661271C42383842 @default.
- W83661271 hasConceptScore W83661271C68859911 @default.
- W83661271 hasConceptScore W83661271C80444323 @default.
- W83661271 hasConceptScore W83661271C8797682 @default.
- W83661271 hasLocation W836612711 @default.
- W83661271 hasOpenAccess W83661271 @default.
- W83661271 hasPrimaryLocation W836612711 @default.
- W83661271 hasRelatedWork W1503965680 @default.
- W83661271 hasRelatedWork W1605815752 @default.
- W83661271 hasRelatedWork W1991849845 @default.
- W83661271 hasRelatedWork W2030916392 @default.
- W83661271 hasRelatedWork W2049240102 @default.
- W83661271 hasRelatedWork W2054765143 @default.
- W83661271 hasRelatedWork W2110122404 @default.
- W83661271 hasRelatedWork W2114376769 @default.
- W83661271 hasRelatedWork W2119857670 @default.
- W83661271 hasRelatedWork W2121993468 @default.
- W83661271 hasRelatedWork W2132186989 @default.
- W83661271 hasRelatedWork W2142922207 @default.
- W83661271 hasRelatedWork W2148853502 @default.
- W83661271 hasRelatedWork W2243479927 @default.
- W83661271 hasRelatedWork W2486239674 @default.
- W83661271 hasRelatedWork W2785726564 @default.
- W83661271 hasRelatedWork W2954471818 @default.
- W83661271 hasRelatedWork W3005777145 @default.
- W83661271 hasRelatedWork W178671686 @default.
- W83661271 hasRelatedWork W2182405322 @default.
- W83661271 isParatext "false" @default.
- W83661271 isRetracted "false" @default.
- W83661271 magId "83661271" @default.
- W83661271 workType "article" @default.