Matches in SemOpenAlex for { <https://semopenalex.org/work/W2741285251> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2741285251 abstract "The design space for type systems that support impredicative instantiation is extremely complicated. One needs to strike a balance between expressiveness, simplicity for both the end programmer and the type system implementor, and how easily the system can be integrated with other advanced type system concepts. In this paper, we propose a new point in the design space, which we call guarded impredicativity. Its key idea is that impredicative instantiation in an application is allowed for type variables that occur under a type constructor. The resulting type system has a clean declarative specification — making it easy for programmers to predict what will type and what will not —, allows for a smooth integration with GHC’s OutsideIn(X) constraint solving framework, while giving up very little in terms of expressiveness compared to systems like HMF, HML, FPH and MLF. We give a sound and complete inference algorithm, and prove a principal type property for our system." @default.
- W2741285251 created "2017-08-08" @default.
- W2741285251 creator A5014600241 @default.
- W2741285251 creator A5027817074 @default.
- W2741285251 creator A5029108294 @default.
- W2741285251 creator A5031844778 @default.
- W2741285251 date "2018-06-11" @default.
- W2741285251 modified "2023-09-28" @default.
- W2741285251 title "Guarded impredicative polymorphism" @default.
- W2741285251 cites W2037809739 @default.
- W2741285251 cites W2069858276 @default.
- W2741285251 cites W2076653850 @default.
- W2741285251 cites W2087123999 @default.
- W2741285251 cites W2131916293 @default.
- W2741285251 cites W2136776287 @default.
- W2741285251 cites W2161193752 @default.
- W2741285251 cites W2494122154 @default.
- W2741285251 cites W2911299022 @default.
- W2741285251 cites W4248946933 @default.
- W2741285251 cites W4250583525 @default.
- W2741285251 cites W4251916054 @default.
- W2741285251 doi "https://doi.org/10.1145/3192366.3192389" @default.
- W2741285251 hasPublicationYear "2018" @default.
- W2741285251 type Work @default.
- W2741285251 sameAs 2741285251 @default.
- W2741285251 citedByCount "12" @default.
- W2741285251 countsByYear W27412852512019 @default.
- W2741285251 countsByYear W27412852512020 @default.
- W2741285251 countsByYear W27412852512021 @default.
- W2741285251 countsByYear W27412852512022 @default.
- W2741285251 crossrefType "proceedings-article" @default.
- W2741285251 hasAuthorship W2741285251A5014600241 @default.
- W2741285251 hasAuthorship W2741285251A5027817074 @default.
- W2741285251 hasAuthorship W2741285251A5029108294 @default.
- W2741285251 hasAuthorship W2741285251A5031844778 @default.
- W2741285251 hasConcept C135790938 @default.
- W2741285251 hasConcept C154945302 @default.
- W2741285251 hasConcept C18903297 @default.
- W2741285251 hasConcept C198370458 @default.
- W2741285251 hasConcept C199360897 @default.
- W2741285251 hasConcept C2776214188 @default.
- W2741285251 hasConcept C2777299769 @default.
- W2741285251 hasConcept C2778514511 @default.
- W2741285251 hasConcept C2780624054 @default.
- W2741285251 hasConcept C41008148 @default.
- W2741285251 hasConcept C42383842 @default.
- W2741285251 hasConcept C55128367 @default.
- W2741285251 hasConcept C80444323 @default.
- W2741285251 hasConcept C86803240 @default.
- W2741285251 hasConceptScore W2741285251C135790938 @default.
- W2741285251 hasConceptScore W2741285251C154945302 @default.
- W2741285251 hasConceptScore W2741285251C18903297 @default.
- W2741285251 hasConceptScore W2741285251C198370458 @default.
- W2741285251 hasConceptScore W2741285251C199360897 @default.
- W2741285251 hasConceptScore W2741285251C2776214188 @default.
- W2741285251 hasConceptScore W2741285251C2777299769 @default.
- W2741285251 hasConceptScore W2741285251C2778514511 @default.
- W2741285251 hasConceptScore W2741285251C2780624054 @default.
- W2741285251 hasConceptScore W2741285251C41008148 @default.
- W2741285251 hasConceptScore W2741285251C42383842 @default.
- W2741285251 hasConceptScore W2741285251C55128367 @default.
- W2741285251 hasConceptScore W2741285251C80444323 @default.
- W2741285251 hasConceptScore W2741285251C86803240 @default.
- W2741285251 hasFunder F4320321800 @default.
- W2741285251 hasLocation W27412852511 @default.
- W2741285251 hasOpenAccess W2741285251 @default.
- W2741285251 hasPrimaryLocation W27412852511 @default.
- W2741285251 hasRelatedWork W1539860096 @default.
- W2741285251 hasRelatedWork W1550049051 @default.
- W2741285251 hasRelatedWork W1562483556 @default.
- W2741285251 hasRelatedWork W1671914757 @default.
- W2741285251 hasRelatedWork W1851310281 @default.
- W2741285251 hasRelatedWork W2045380064 @default.
- W2741285251 hasRelatedWork W2095136535 @default.
- W2741285251 hasRelatedWork W2289768538 @default.
- W2741285251 hasRelatedWork W2602897444 @default.
- W2741285251 hasRelatedWork W2886025031 @default.
- W2741285251 isParatext "false" @default.
- W2741285251 isRetracted "false" @default.
- W2741285251 magId "2741285251" @default.
- W2741285251 workType "article" @default.