Matches in SemOpenAlex for { <https://semopenalex.org/work/W784401050> ?p ?o ?g. }
- W784401050 abstract "Programs involving precise types enforce more properties via type-checking, but precise types also prevent the reuse of functions throughout a program since no single precise type is used throughout a large program. My work is a step toward eliminating the underlying dilemma regarding type precision versus function reuse. It culminates in a novel traversal operator that recovers the reuse by automating most of each conversion between “similar” precise types, for a notion of similarity that I characterize in both the intuitive and technical senses. The benefits of my techniques are clear in side-by-side comparisons; in particular, I apply my techniques to two definitions of lambda-lifting. I present and implement my techniques in the Haskell programming language, but the fundamental ideas are applicable to any staticallyand strongly-typed programming functional language with algebraic data types." @default.
- W784401050 created "2016-06-24" @default.
- W784401050 creator A5086726692 @default.
- W784401050 date "2012-08-31" @default.
- W784401050 modified "2023-09-27" @default.
- W784401050 title "Reducing the Cost of Precise Types" @default.
- W784401050 cites W118483763 @default.
- W784401050 cites W1485257692 @default.
- W784401050 cites W1534850143 @default.
- W784401050 cites W1543641760 @default.
- W784401050 cites W1589463184 @default.
- W784401050 cites W1608714802 @default.
- W784401050 cites W1969204136 @default.
- W784401050 cites W1974190112 @default.
- W784401050 cites W1976227603 @default.
- W784401050 cites W1982230416 @default.
- W784401050 cites W1984698918 @default.
- W784401050 cites W2007492338 @default.
- W784401050 cites W2021982406 @default.
- W784401050 cites W202283534 @default.
- W784401050 cites W2031442766 @default.
- W784401050 cites W2037984920 @default.
- W784401050 cites W2041042116 @default.
- W784401050 cites W2058162377 @default.
- W784401050 cites W2069858276 @default.
- W784401050 cites W2080172410 @default.
- W784401050 cites W2093896470 @default.
- W784401050 cites W2101407609 @default.
- W784401050 cites W2103310374 @default.
- W784401050 cites W2104169671 @default.
- W784401050 cites W2109703800 @default.
- W784401050 cites W2112474400 @default.
- W784401050 cites W2115866888 @default.
- W784401050 cites W2116813111 @default.
- W784401050 cites W2117483331 @default.
- W784401050 cites W2122002801 @default.
- W784401050 cites W2124274632 @default.
- W784401050 cites W2125743465 @default.
- W784401050 cites W2128235835 @default.
- W784401050 cites W2129642457 @default.
- W784401050 cites W2131985427 @default.
- W784401050 cites W2139141719 @default.
- W784401050 cites W2143041463 @default.
- W784401050 cites W2143823533 @default.
- W784401050 cites W2146471655 @default.
- W784401050 cites W2148944677 @default.
- W784401050 cites W2155863409 @default.
- W784401050 cites W2156285626 @default.
- W784401050 cites W2160248416 @default.
- W784401050 cites W2163552400 @default.
- W784401050 cites W2164430577 @default.
- W784401050 cites W2167268698 @default.
- W784401050 cites W2295203913 @default.
- W784401050 cites W2296677810 @default.
- W784401050 cites W2913811625 @default.
- W784401050 cites W3140687576 @default.
- W784401050 cites W42238912 @default.
- W784401050 cites W2115396845 @default.
- W784401050 hasPublicationYear "2012" @default.
- W784401050 type Work @default.
- W784401050 sameAs 784401050 @default.
- W784401050 citedByCount "0" @default.
- W784401050 crossrefType "dissertation" @default.
- W784401050 hasAuthorship W784401050A5086726692 @default.
- W784401050 hasConcept C127413603 @default.
- W784401050 hasConcept C135790938 @default.
- W784401050 hasConcept C138958017 @default.
- W784401050 hasConcept C140745168 @default.
- W784401050 hasConcept C18903297 @default.
- W784401050 hasConcept C199360897 @default.
- W784401050 hasConcept C20528804 @default.
- W784401050 hasConcept C206588197 @default.
- W784401050 hasConcept C2777299769 @default.
- W784401050 hasConcept C2780624054 @default.
- W784401050 hasConcept C41008148 @default.
- W784401050 hasConcept C42383842 @default.
- W784401050 hasConcept C44779574 @default.
- W784401050 hasConcept C548081761 @default.
- W784401050 hasConcept C7051814 @default.
- W784401050 hasConcept C79678938 @default.
- W784401050 hasConcept C80444323 @default.
- W784401050 hasConcept C86803240 @default.
- W784401050 hasConceptScore W784401050C127413603 @default.
- W784401050 hasConceptScore W784401050C135790938 @default.
- W784401050 hasConceptScore W784401050C138958017 @default.
- W784401050 hasConceptScore W784401050C140745168 @default.
- W784401050 hasConceptScore W784401050C18903297 @default.
- W784401050 hasConceptScore W784401050C199360897 @default.
- W784401050 hasConceptScore W784401050C20528804 @default.
- W784401050 hasConceptScore W784401050C206588197 @default.
- W784401050 hasConceptScore W784401050C2777299769 @default.
- W784401050 hasConceptScore W784401050C2780624054 @default.
- W784401050 hasConceptScore W784401050C41008148 @default.
- W784401050 hasConceptScore W784401050C42383842 @default.
- W784401050 hasConceptScore W784401050C44779574 @default.
- W784401050 hasConceptScore W784401050C548081761 @default.
- W784401050 hasConceptScore W784401050C7051814 @default.
- W784401050 hasConceptScore W784401050C79678938 @default.
- W784401050 hasConceptScore W784401050C80444323 @default.
- W784401050 hasConceptScore W784401050C86803240 @default.