Matches in SemOpenAlex for { <https://semopenalex.org/work/W1900519842> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W1900519842 endingPage "457" @default.
- W1900519842 startingPage "439" @default.
- W1900519842 abstract "It is a well-known problem that F ≤ — the polymorphic lambda calculus F extended with subtyping — does not provide so-called polymorphic updates, and that the standard PER model for F ≤ does not provide interpretations for these operations. The polymorphic updates are interesting because they play an important role in some type-theoretic models of object-oriented languages. We present an extension F width of system F with a restricted form of subtyping — width-subtyping — on record types, that does provide these operations. The main result is that we show it is still possible to give a PER model for this system." @default.
- W1900519842 created "2016-06-24" @default.
- W1900519842 creator A5018169511 @default.
- W1900519842 date "1997-01-01" @default.
- W1900519842 modified "2023-10-16" @default.
- W1900519842 title "System F with width-subtyping and record updating" @default.
- W1900519842 cites W1508704254 @default.
- W1900519842 cites W1544633123 @default.
- W1900519842 cites W1563488194 @default.
- W1900519842 cites W2002475773 @default.
- W1900519842 cites W2011825885 @default.
- W1900519842 cites W2027657506 @default.
- W1900519842 cites W2092632814 @default.
- W1900519842 cites W2138839382 @default.
- W1900519842 cites W2143479391 @default.
- W1900519842 cites W2149587963 @default.
- W1900519842 cites W2171425038 @default.
- W1900519842 cites W2912288127 @default.
- W1900519842 doi "https://doi.org/10.1007/bfb0014562" @default.
- W1900519842 hasPublicationYear "1997" @default.
- W1900519842 type Work @default.
- W1900519842 sameAs 1900519842 @default.
- W1900519842 citedByCount "3" @default.
- W1900519842 countsByYear W19005198422021 @default.
- W1900519842 crossrefType "book-chapter" @default.
- W1900519842 hasAuthorship W1900519842A5018169511 @default.
- W1900519842 hasBestOaLocation W19005198422 @default.
- W1900519842 hasConcept C199360897 @default.
- W1900519842 hasConcept C41008148 @default.
- W1900519842 hasConcept C83852419 @default.
- W1900519842 hasConceptScore W1900519842C199360897 @default.
- W1900519842 hasConceptScore W1900519842C41008148 @default.
- W1900519842 hasConceptScore W1900519842C83852419 @default.
- W1900519842 hasLocation W19005198421 @default.
- W1900519842 hasLocation W19005198422 @default.
- W1900519842 hasOpenAccess W1900519842 @default.
- W1900519842 hasPrimaryLocation W19005198421 @default.
- W1900519842 hasRelatedWork W1462775415 @default.
- W1900519842 hasRelatedWork W1987896487 @default.
- W1900519842 hasRelatedWork W2068445477 @default.
- W1900519842 hasRelatedWork W2391332606 @default.
- W1900519842 hasRelatedWork W2396009657 @default.
- W1900519842 hasRelatedWork W2748952813 @default.
- W1900519842 hasRelatedWork W2763815264 @default.
- W1900519842 hasRelatedWork W2899084033 @default.
- W1900519842 hasRelatedWork W3032826521 @default.
- W1900519842 hasRelatedWork W4243252198 @default.
- W1900519842 isParatext "false" @default.
- W1900519842 isRetracted "false" @default.
- W1900519842 magId "1900519842" @default.
- W1900519842 workType "book-chapter" @default.