Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149587963> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2149587963 endingPage "48" @default.
- W2149587963 startingPage "3" @default.
- W2149587963 abstract "We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order type system over these operations supports both subtyping and polymorphism. We provide typechecking algorithms and limited semantic models. Our approach unifies and extends previous notions of records, bounded quantification, record extension, and parametrization by row-variables. The general aim is to provide foundations for concepts found in object-oriented languages, within a framework based on typed lambda-calculus." @default.
- W2149587963 created "2016-06-24" @default.
- W2149587963 creator A5013220584 @default.
- W2149587963 creator A5060775456 @default.
- W2149587963 date "1991-03-01" @default.
- W2149587963 modified "2023-10-16" @default.
- W2149587963 title "Operations on records" @default.
- W2149587963 cites W1593740543 @default.
- W2149587963 cites W1595372275 @default.
- W2149587963 cites W1968889995 @default.
- W2149587963 cites W1969093922 @default.
- W2149587963 cites W2027657506 @default.
- W2149587963 cites W2052447934 @default.
- W2149587963 cites W2145459199 @default.
- W2149587963 cites W2151614365 @default.
- W2149587963 cites W2153895433 @default.
- W2149587963 cites W2165928807 @default.
- W2149587963 cites W2166822586 @default.
- W2149587963 cites W2173184982 @default.
- W2149587963 cites W2211325406 @default.
- W2149587963 cites W3161549246 @default.
- W2149587963 cites W4235875457 @default.
- W2149587963 cites W4244486827 @default.
- W2149587963 doi "https://doi.org/10.1017/s0960129500000049" @default.
- W2149587963 hasPublicationYear "1991" @default.
- W2149587963 type Work @default.
- W2149587963 sameAs 2149587963 @default.
- W2149587963 citedByCount "71" @default.
- W2149587963 countsByYear W21495879632012 @default.
- W2149587963 countsByYear W21495879632013 @default.
- W2149587963 countsByYear W21495879632014 @default.
- W2149587963 countsByYear W21495879632016 @default.
- W2149587963 countsByYear W21495879632017 @default.
- W2149587963 countsByYear W21495879632019 @default.
- W2149587963 countsByYear W21495879632020 @default.
- W2149587963 countsByYear W21495879632021 @default.
- W2149587963 countsByYear W21495879632022 @default.
- W2149587963 crossrefType "journal-article" @default.
- W2149587963 hasAuthorship W2149587963A5013220584 @default.
- W2149587963 hasAuthorship W2149587963A5060775456 @default.
- W2149587963 hasConcept C111472728 @default.
- W2149587963 hasConcept C11413529 @default.
- W2149587963 hasConcept C134306372 @default.
- W2149587963 hasConcept C138885662 @default.
- W2149587963 hasConcept C199360897 @default.
- W2149587963 hasConcept C2778029271 @default.
- W2149587963 hasConcept C2780586882 @default.
- W2149587963 hasConcept C33923547 @default.
- W2149587963 hasConcept C34388435 @default.
- W2149587963 hasConcept C41008148 @default.
- W2149587963 hasConcept C80444323 @default.
- W2149587963 hasConcept C83852419 @default.
- W2149587963 hasConceptScore W2149587963C111472728 @default.
- W2149587963 hasConceptScore W2149587963C11413529 @default.
- W2149587963 hasConceptScore W2149587963C134306372 @default.
- W2149587963 hasConceptScore W2149587963C138885662 @default.
- W2149587963 hasConceptScore W2149587963C199360897 @default.
- W2149587963 hasConceptScore W2149587963C2778029271 @default.
- W2149587963 hasConceptScore W2149587963C2780586882 @default.
- W2149587963 hasConceptScore W2149587963C33923547 @default.
- W2149587963 hasConceptScore W2149587963C34388435 @default.
- W2149587963 hasConceptScore W2149587963C41008148 @default.
- W2149587963 hasConceptScore W2149587963C80444323 @default.
- W2149587963 hasConceptScore W2149587963C83852419 @default.
- W2149587963 hasIssue "1" @default.
- W2149587963 hasLocation W21495879631 @default.
- W2149587963 hasOpenAccess W2149587963 @default.
- W2149587963 hasPrimaryLocation W21495879631 @default.
- W2149587963 hasRelatedWork W1494774343 @default.
- W2149587963 hasRelatedWork W2006308727 @default.
- W2149587963 hasRelatedWork W2112962394 @default.
- W2149587963 hasRelatedWork W2118300983 @default.
- W2149587963 hasRelatedWork W2352495365 @default.
- W2149587963 hasRelatedWork W2763815264 @default.
- W2149587963 hasRelatedWork W3137189469 @default.
- W2149587963 hasRelatedWork W4235530921 @default.
- W2149587963 hasRelatedWork W4243252198 @default.
- W2149587963 hasRelatedWork W2526467014 @default.
- W2149587963 hasVolume "1" @default.
- W2149587963 isParatext "false" @default.
- W2149587963 isRetracted "false" @default.
- W2149587963 magId "2149587963" @default.
- W2149587963 workType "article" @default.