Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104204098> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2104204098 endingPage "502" @default.
- W2104204098 startingPage "470" @default.
- W2104204098 abstract "Abstract data type declarations appear in typed programming languages like Ada, Alphard, CLU and ML. This form of declaration binds a list of identifiers to a type with associated operations, a composite “value” we call a data algebra . We use a second-order typed lambda calculus SOL to show how data algebras may be given types, passed as parameters, and returned as results of function calls. In the process, we discuss the semantics of abstract data type declarations and review a connection between typed programming languages and constructive logic." @default.
- W2104204098 created "2016-06-24" @default.
- W2104204098 creator A5060775456 @default.
- W2104204098 creator A5070609290 @default.
- W2104204098 date "1988-07-01" @default.
- W2104204098 modified "2023-10-16" @default.
- W2104204098 title "Abstract types have existential type" @default.
- W2104204098 cites W137618863 @default.
- W2104204098 cites W1499994451 @default.
- W2104204098 cites W1549406551 @default.
- W2104204098 cites W1555100187 @default.
- W2104204098 cites W1557413548 @default.
- W2104204098 cites W1567081087 @default.
- W2104204098 cites W1595372275 @default.
- W2104204098 cites W1599578423 @default.
- W2104204098 cites W1608607427 @default.
- W2104204098 cites W1986402635 @default.
- W2104204098 cites W1991670662 @default.
- W2104204098 cites W2008395018 @default.
- W2104204098 cites W2015874281 @default.
- W2104204098 cites W2073544767 @default.
- W2104204098 cites W2080040385 @default.
- W2104204098 cites W2095405219 @default.
- W2104204098 cites W2099305192 @default.
- W2104204098 cites W2107132003 @default.
- W2104204098 cites W2125360711 @default.
- W2104204098 cites W2134112335 @default.
- W2104204098 cites W2152944474 @default.
- W2104204098 cites W2163663581 @default.
- W2104204098 cites W2211325406 @default.
- W2104204098 cites W608264781 @default.
- W2104204098 doi "https://doi.org/10.1145/44501.45065" @default.
- W2104204098 hasPublicationYear "1988" @default.
- W2104204098 type Work @default.
- W2104204098 sameAs 2104204098 @default.
- W2104204098 citedByCount "385" @default.
- W2104204098 countsByYear W21042040982012 @default.
- W2104204098 countsByYear W21042040982013 @default.
- W2104204098 countsByYear W21042040982014 @default.
- W2104204098 countsByYear W21042040982015 @default.
- W2104204098 countsByYear W21042040982016 @default.
- W2104204098 countsByYear W21042040982017 @default.
- W2104204098 countsByYear W21042040982018 @default.
- W2104204098 countsByYear W21042040982019 @default.
- W2104204098 countsByYear W21042040982020 @default.
- W2104204098 countsByYear W21042040982021 @default.
- W2104204098 countsByYear W21042040982022 @default.
- W2104204098 countsByYear W21042040982023 @default.
- W2104204098 crossrefType "journal-article" @default.
- W2104204098 hasAuthorship W2104204098A5060775456 @default.
- W2104204098 hasAuthorship W2104204098A5070609290 @default.
- W2104204098 hasBestOaLocation W21042040981 @default.
- W2104204098 hasConcept C135790938 @default.
- W2104204098 hasConcept C138147947 @default.
- W2104204098 hasConcept C138958017 @default.
- W2104204098 hasConcept C142156749 @default.
- W2104204098 hasConcept C154504017 @default.
- W2104204098 hasConcept C184337299 @default.
- W2104204098 hasConcept C18903297 @default.
- W2104204098 hasConcept C199360897 @default.
- W2104204098 hasConcept C20528804 @default.
- W2104204098 hasConcept C2777299769 @default.
- W2104204098 hasConcept C41008148 @default.
- W2104204098 hasConcept C80444323 @default.
- W2104204098 hasConcept C86803240 @default.
- W2104204098 hasConceptScore W2104204098C135790938 @default.
- W2104204098 hasConceptScore W2104204098C138147947 @default.
- W2104204098 hasConceptScore W2104204098C138958017 @default.
- W2104204098 hasConceptScore W2104204098C142156749 @default.
- W2104204098 hasConceptScore W2104204098C154504017 @default.
- W2104204098 hasConceptScore W2104204098C184337299 @default.
- W2104204098 hasConceptScore W2104204098C18903297 @default.
- W2104204098 hasConceptScore W2104204098C199360897 @default.
- W2104204098 hasConceptScore W2104204098C20528804 @default.
- W2104204098 hasConceptScore W2104204098C2777299769 @default.
- W2104204098 hasConceptScore W2104204098C41008148 @default.
- W2104204098 hasConceptScore W2104204098C80444323 @default.
- W2104204098 hasConceptScore W2104204098C86803240 @default.
- W2104204098 hasIssue "3" @default.
- W2104204098 hasLocation W21042040981 @default.
- W2104204098 hasOpenAccess W2104204098 @default.
- W2104204098 hasPrimaryLocation W21042040981 @default.
- W2104204098 hasRelatedWork W1545794938 @default.
- W2104204098 hasRelatedWork W1592799753 @default.
- W2104204098 hasRelatedWork W2003295197 @default.
- W2104204098 hasRelatedWork W2104204098 @default.
- W2104204098 hasRelatedWork W2107132003 @default.
- W2104204098 hasRelatedWork W2129762978 @default.
- W2104204098 hasRelatedWork W2291292811 @default.
- W2104204098 hasRelatedWork W2550953148 @default.
- W2104204098 hasRelatedWork W2769662217 @default.
- W2104204098 hasRelatedWork W3021962464 @default.
- W2104204098 hasVolume "10" @default.
- W2104204098 isParatext "false" @default.
- W2104204098 isRetracted "false" @default.
- W2104204098 magId "2104204098" @default.
- W2104204098 workType "article" @default.