Matches in SemOpenAlex for { <https://semopenalex.org/work/W2519387135> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2519387135 abstract "Strong type systems can be used to increase the reliability and performance of programs. In combination with type inference the overhead for the programmer can be kept small. Nevertheless, explicit type signatures often remain needed or useful. In languages with standard Hindley-Milner-based type systems, programmers have a binary choice between omitting the type signature (and rely on type inference) or explicitly providing the type entirely; there are no intermediate options. Proposals for partial type signatures exist, but none support features like local constraints and GHC’s nongeneralisation of local bindings. Therefore we propose and motivate a practical form of partial type signatures for present-day Haskell. We formally describe our proposal as an extension of the OutsideIn(X) system and prove some of its properties. We have developed a (not yet complete) implementation for the GHC Haskell compiler. Our design fits naturally in both the OutsideIn(X) formalism and the compiler." @default.
- W2519387135 created "2016-09-23" @default.
- W2519387135 creator A5008329832 @default.
- W2519387135 creator A5011654888 @default.
- W2519387135 creator A5038383564 @default.
- W2519387135 creator A5050247934 @default.
- W2519387135 date "2013-11-01" @default.
- W2519387135 modified "2023-09-23" @default.
- W2519387135 title "Partial type signatures for Haskell: Extended version with proofs of the theorems" @default.
- W2519387135 cites W1514370277 @default.
- W2519387135 cites W1575675278 @default.
- W2519387135 cites W17008436 @default.
- W2519387135 cites W1965338843 @default.
- W2519387135 cites W2069858276 @default.
- W2519387135 cites W2104299410 @default.
- W2519387135 cites W2112474400 @default.
- W2519387135 cites W2131916293 @default.
- W2519387135 cites W2161193752 @default.
- W2519387135 cites W2525066022 @default.
- W2519387135 hasPublicationYear "2013" @default.
- W2519387135 type Work @default.
- W2519387135 sameAs 2519387135 @default.
- W2519387135 citedByCount "0" @default.
- W2519387135 crossrefType "journal-article" @default.
- W2519387135 hasAuthorship W2519387135A5008329832 @default.
- W2519387135 hasAuthorship W2519387135A5011654888 @default.
- W2519387135 hasAuthorship W2519387135A5038383564 @default.
- W2519387135 hasAuthorship W2519387135A5050247934 @default.
- W2519387135 hasConcept C108710211 @default.
- W2519387135 hasConcept C154945302 @default.
- W2519387135 hasConcept C169590947 @default.
- W2519387135 hasConcept C18903297 @default.
- W2519387135 hasConcept C198370458 @default.
- W2519387135 hasConcept C199360897 @default.
- W2519387135 hasConcept C2524010 @default.
- W2519387135 hasConcept C2776214188 @default.
- W2519387135 hasConcept C2777299769 @default.
- W2519387135 hasConcept C2778514511 @default.
- W2519387135 hasConcept C2779696439 @default.
- W2519387135 hasConcept C2780624054 @default.
- W2519387135 hasConcept C33923547 @default.
- W2519387135 hasConcept C41008148 @default.
- W2519387135 hasConcept C42383842 @default.
- W2519387135 hasConcept C80444323 @default.
- W2519387135 hasConcept C86803240 @default.
- W2519387135 hasConceptScore W2519387135C108710211 @default.
- W2519387135 hasConceptScore W2519387135C154945302 @default.
- W2519387135 hasConceptScore W2519387135C169590947 @default.
- W2519387135 hasConceptScore W2519387135C18903297 @default.
- W2519387135 hasConceptScore W2519387135C198370458 @default.
- W2519387135 hasConceptScore W2519387135C199360897 @default.
- W2519387135 hasConceptScore W2519387135C2524010 @default.
- W2519387135 hasConceptScore W2519387135C2776214188 @default.
- W2519387135 hasConceptScore W2519387135C2777299769 @default.
- W2519387135 hasConceptScore W2519387135C2778514511 @default.
- W2519387135 hasConceptScore W2519387135C2779696439 @default.
- W2519387135 hasConceptScore W2519387135C2780624054 @default.
- W2519387135 hasConceptScore W2519387135C33923547 @default.
- W2519387135 hasConceptScore W2519387135C41008148 @default.
- W2519387135 hasConceptScore W2519387135C42383842 @default.
- W2519387135 hasConceptScore W2519387135C80444323 @default.
- W2519387135 hasConceptScore W2519387135C86803240 @default.
- W2519387135 hasLocation W25193871351 @default.
- W2519387135 hasOpenAccess W2519387135 @default.
- W2519387135 hasPrimaryLocation W25193871351 @default.
- W2519387135 hasRelatedWork W1533419251 @default.
- W2519387135 hasRelatedWork W1550049051 @default.
- W2519387135 hasRelatedWork W1886401053 @default.
- W2519387135 hasRelatedWork W2026691974 @default.
- W2519387135 hasRelatedWork W2106226553 @default.
- W2519387135 hasRelatedWork W2131635208 @default.
- W2519387135 hasRelatedWork W2134394225 @default.
- W2519387135 hasRelatedWork W2136758562 @default.
- W2519387135 hasRelatedWork W2146937878 @default.
- W2519387135 hasRelatedWork W2161408472 @default.
- W2519387135 hasRelatedWork W2164266441 @default.
- W2519387135 hasRelatedWork W2187084841 @default.
- W2519387135 hasRelatedWork W2210284694 @default.
- W2519387135 hasRelatedWork W2487789400 @default.
- W2519387135 hasRelatedWork W2514405772 @default.
- W2519387135 hasRelatedWork W2520254002 @default.
- W2519387135 hasRelatedWork W2751791540 @default.
- W2519387135 hasRelatedWork W2971609332 @default.
- W2519387135 hasRelatedWork W2995031344 @default.
- W2519387135 hasRelatedWork W58824149 @default.
- W2519387135 isParatext "false" @default.
- W2519387135 isRetracted "false" @default.
- W2519387135 magId "2519387135" @default.
- W2519387135 workType "article" @default.