Matches in SemOpenAlex for { <https://semopenalex.org/work/W3045454762> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3045454762 endingPage "249" @default.
- W3045454762 startingPage "236" @default.
- W3045454762 abstract "We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules as first-class values. Our type system harmonizes design elements from previous work, resulting in a simple, economical account of modular programming. The main unifying principle is the treatment of abstraction mechanisms as computational effects. Our language is the first to provide a complete and practical formalization of all of these critical issues in module system design." @default.
- W3045454762 created "2020-07-29" @default.
- W3045454762 creator A5005085838 @default.
- W3045454762 creator A5051178445 @default.
- W3045454762 creator A5080162176 @default.
- W3045454762 date "2003-01-15" @default.
- W3045454762 modified "2023-10-17" @default.
- W3045454762 title "A type system for higher-order modules" @default.
- W3045454762 cites W1980302687 @default.
- W3045454762 cites W1989916808 @default.
- W3045454762 cites W2003298503 @default.
- W3045454762 cites W2023478976 @default.
- W3045454762 cites W2043261859 @default.
- W3045454762 cites W2048569219 @default.
- W3045454762 cites W2059054133 @default.
- W3045454762 cites W2070880808 @default.
- W3045454762 cites W2072898606 @default.
- W3045454762 cites W2104204098 @default.
- W3045454762 cites W2127600624 @default.
- W3045454762 cites W2133171398 @default.
- W3045454762 cites W2133639043 @default.
- W3045454762 cites W2145945984 @default.
- W3045454762 cites W2165264979 @default.
- W3045454762 cites W2167017930 @default.
- W3045454762 cites W4206607735 @default.
- W3045454762 cites W4233881619 @default.
- W3045454762 doi "https://doi.org/10.1145/640128.604151" @default.
- W3045454762 hasPublicationYear "2003" @default.
- W3045454762 type Work @default.
- W3045454762 sameAs 3045454762 @default.
- W3045454762 citedByCount "7" @default.
- W3045454762 countsByYear W30454547622019 @default.
- W3045454762 countsByYear W30454547622020 @default.
- W3045454762 countsByYear W30454547622021 @default.
- W3045454762 countsByYear W30454547622022 @default.
- W3045454762 crossrefType "journal-article" @default.
- W3045454762 hasAuthorship W3045454762A5005085838 @default.
- W3045454762 hasAuthorship W3045454762A5051178445 @default.
- W3045454762 hasAuthorship W3045454762A5080162176 @default.
- W3045454762 hasBestOaLocation W30454547622 @default.
- W3045454762 hasConcept C10138342 @default.
- W3045454762 hasConcept C101468663 @default.
- W3045454762 hasConcept C111472728 @default.
- W3045454762 hasConcept C124304363 @default.
- W3045454762 hasConcept C138885662 @default.
- W3045454762 hasConcept C154945302 @default.
- W3045454762 hasConcept C162130032 @default.
- W3045454762 hasConcept C162324750 @default.
- W3045454762 hasConcept C182306322 @default.
- W3045454762 hasConcept C18903297 @default.
- W3045454762 hasConcept C199360897 @default.
- W3045454762 hasConcept C2777212361 @default.
- W3045454762 hasConcept C2777299769 @default.
- W3045454762 hasConcept C2780586882 @default.
- W3045454762 hasConcept C41008148 @default.
- W3045454762 hasConcept C80444323 @default.
- W3045454762 hasConcept C86803240 @default.
- W3045454762 hasConcept C93682546 @default.
- W3045454762 hasConceptScore W3045454762C10138342 @default.
- W3045454762 hasConceptScore W3045454762C101468663 @default.
- W3045454762 hasConceptScore W3045454762C111472728 @default.
- W3045454762 hasConceptScore W3045454762C124304363 @default.
- W3045454762 hasConceptScore W3045454762C138885662 @default.
- W3045454762 hasConceptScore W3045454762C154945302 @default.
- W3045454762 hasConceptScore W3045454762C162130032 @default.
- W3045454762 hasConceptScore W3045454762C162324750 @default.
- W3045454762 hasConceptScore W3045454762C182306322 @default.
- W3045454762 hasConceptScore W3045454762C18903297 @default.
- W3045454762 hasConceptScore W3045454762C199360897 @default.
- W3045454762 hasConceptScore W3045454762C2777212361 @default.
- W3045454762 hasConceptScore W3045454762C2777299769 @default.
- W3045454762 hasConceptScore W3045454762C2780586882 @default.
- W3045454762 hasConceptScore W3045454762C41008148 @default.
- W3045454762 hasConceptScore W3045454762C80444323 @default.
- W3045454762 hasConceptScore W3045454762C86803240 @default.
- W3045454762 hasConceptScore W3045454762C93682546 @default.
- W3045454762 hasIssue "1" @default.
- W3045454762 hasLocation W30454547621 @default.
- W3045454762 hasLocation W30454547622 @default.
- W3045454762 hasOpenAccess W3045454762 @default.
- W3045454762 hasPrimaryLocation W30454547621 @default.
- W3045454762 hasRelatedWork W1480879962 @default.
- W3045454762 hasRelatedWork W1634262489 @default.
- W3045454762 hasRelatedWork W2119811164 @default.
- W3045454762 hasRelatedWork W2139102157 @default.
- W3045454762 hasRelatedWork W2163192648 @default.
- W3045454762 hasRelatedWork W2167486301 @default.
- W3045454762 hasRelatedWork W3156224329 @default.
- W3045454762 hasRelatedWork W3160136729 @default.
- W3045454762 hasRelatedWork W4376865054 @default.
- W3045454762 hasRelatedWork W1968816918 @default.
- W3045454762 hasVolume "38" @default.
- W3045454762 isParatext "false" @default.
- W3045454762 isRetracted "false" @default.
- W3045454762 magId "3045454762" @default.
- W3045454762 workType "article" @default.