Matches in SemOpenAlex for { <https://semopenalex.org/work/W85530423> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W85530423 abstract "We present a type-preserving translation of System F (the polymorphic lambda calculus) into a forthcoming revision of the C♯ programming language supporting parameterized classes and polymorphic methods. The forthcoming revision of Java in JDK 1.5 also makes a suitable target. We formalize the translation using a subset of C♯ similar to Featherweight Java. We prove that the translation is fully type-preserving and that it preserves behaviour via the novel use of environment-style semantics for System F. We observe that whilst parameterized classes alone are sufficient to encode the parameterized datatypes and let-polymorphism of languages such as ML and Haskell, it is the presence of dynamic dispatch for polymorphic methods that supports the encoding of the ‘first-class polymorphism’ found in System F and recent extensions to ML and Haskell." @default.
- W85530423 created "2016-06-24" @default.
- W85530423 creator A5041794657 @default.
- W85530423 creator A5084971613 @default.
- W85530423 date "2004-06-01" @default.
- W85530423 modified "2023-09-27" @default.
- W85530423 title "Transposing F to C#: Expressivity of polymorphism in an object-oriented language" @default.
- W85530423 hasPublicationYear "2004" @default.
- W85530423 type Work @default.
- W85530423 sameAs 85530423 @default.
- W85530423 citedByCount "0" @default.
- W85530423 crossrefType "journal-article" @default.
- W85530423 hasAuthorship W85530423A5041794657 @default.
- W85530423 hasAuthorship W85530423A5084971613 @default.
- W85530423 hasConcept C104317684 @default.
- W85530423 hasConcept C105580179 @default.
- W85530423 hasConcept C109701466 @default.
- W85530423 hasConcept C11413529 @default.
- W85530423 hasConcept C135790938 @default.
- W85530423 hasConcept C149364088 @default.
- W85530423 hasConcept C165464430 @default.
- W85530423 hasConcept C199360897 @default.
- W85530423 hasConcept C202751555 @default.
- W85530423 hasConcept C2780624054 @default.
- W85530423 hasConcept C2992676002 @default.
- W85530423 hasConcept C41008148 @default.
- W85530423 hasConcept C42383842 @default.
- W85530423 hasConcept C44779574 @default.
- W85530423 hasConcept C54355233 @default.
- W85530423 hasConcept C548217200 @default.
- W85530423 hasConcept C55128367 @default.
- W85530423 hasConcept C73752529 @default.
- W85530423 hasConcept C86803240 @default.
- W85530423 hasConceptScore W85530423C104317684 @default.
- W85530423 hasConceptScore W85530423C105580179 @default.
- W85530423 hasConceptScore W85530423C109701466 @default.
- W85530423 hasConceptScore W85530423C11413529 @default.
- W85530423 hasConceptScore W85530423C135790938 @default.
- W85530423 hasConceptScore W85530423C149364088 @default.
- W85530423 hasConceptScore W85530423C165464430 @default.
- W85530423 hasConceptScore W85530423C199360897 @default.
- W85530423 hasConceptScore W85530423C202751555 @default.
- W85530423 hasConceptScore W85530423C2780624054 @default.
- W85530423 hasConceptScore W85530423C2992676002 @default.
- W85530423 hasConceptScore W85530423C41008148 @default.
- W85530423 hasConceptScore W85530423C42383842 @default.
- W85530423 hasConceptScore W85530423C44779574 @default.
- W85530423 hasConceptScore W85530423C54355233 @default.
- W85530423 hasConceptScore W85530423C548217200 @default.
- W85530423 hasConceptScore W85530423C55128367 @default.
- W85530423 hasConceptScore W85530423C73752529 @default.
- W85530423 hasConceptScore W85530423C86803240 @default.
- W85530423 hasLocation W855304231 @default.
- W85530423 hasOpenAccess W85530423 @default.
- W85530423 hasPrimaryLocation W855304231 @default.
- W85530423 hasRelatedWork W1033169066 @default.
- W85530423 hasRelatedWork W1524840146 @default.
- W85530423 hasRelatedWork W1609270914 @default.
- W85530423 hasRelatedWork W1810290248 @default.
- W85530423 hasRelatedWork W1977655588 @default.
- W85530423 hasRelatedWork W1977745603 @default.
- W85530423 hasRelatedWork W1985088747 @default.
- W85530423 hasRelatedWork W2005130481 @default.
- W85530423 hasRelatedWork W2011856881 @default.
- W85530423 hasRelatedWork W2027657506 @default.
- W85530423 hasRelatedWork W2103525263 @default.
- W85530423 hasRelatedWork W2153980431 @default.
- W85530423 hasRelatedWork W2164266441 @default.
- W85530423 hasRelatedWork W2164355384 @default.
- W85530423 hasRelatedWork W2395886377 @default.
- W85530423 hasRelatedWork W2741912530 @default.
- W85530423 hasRelatedWork W3132195268 @default.
- W85530423 hasRelatedWork W3145602138 @default.
- W85530423 hasRelatedWork W330725061 @default.
- W85530423 hasRelatedWork W2187307624 @default.
- W85530423 isParatext "false" @default.
- W85530423 isRetracted "false" @default.
- W85530423 magId "85530423" @default.
- W85530423 workType "article" @default.