Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570987862> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1570987862 abstract "Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestation method which is based on a single, local transformation rule. In return, short cut deforestation expects both producer and consumer of the intermediate structure in a certain form. Starting from the fact that short cut deforestation is based on a parametricity theorem of the second-order typed lambda-calculus, we show how the required form of a list producer can be derived through the use of type inference. Type inference can also indicates which function definitions need to be inlined. Because only limited inlining across module boundaries is practically feasible, we develop a scheme for splitting a function definition into a worker definition and a wrapper definition. For deforestation we only need to inline the small wrapper definition." @default.
- W1570987862 created "2016-06-24" @default.
- W1570987862 creator A5018345365 @default.
- W1570987862 date "2000-07-01" @default.
- W1570987862 modified "2023-09-27" @default.
- W1570987862 title "Deforestation of Functional Programs through Type Inference" @default.
- W1570987862 cites W1480753098 @default.
- W1570987862 cites W1569267605 @default.
- W1570987862 cites W1939773358 @default.
- W1570987862 cites W1966981171 @default.
- W1570987862 cites W2044758536 @default.
- W1570987862 cites W2057292961 @default.
- W1570987862 cites W2089241138 @default.
- W1570987862 cites W2116151771 @default.
- W1570987862 cites W2130363716 @default.
- W1570987862 cites W2208923056 @default.
- W1570987862 cites W975212003 @default.
- W1570987862 cites W2468197266 @default.
- W1570987862 hasPublicationYear "2000" @default.
- W1570987862 type Work @default.
- W1570987862 sameAs 1570987862 @default.
- W1570987862 citedByCount "0" @default.
- W1570987862 crossrefType "journal-article" @default.
- W1570987862 hasAuthorship W1570987862A5018345365 @default.
- W1570987862 hasConcept C104317684 @default.
- W1570987862 hasConcept C14036430 @default.
- W1570987862 hasConcept C154945302 @default.
- W1570987862 hasConcept C185592680 @default.
- W1570987862 hasConcept C18903297 @default.
- W1570987862 hasConcept C198370458 @default.
- W1570987862 hasConcept C199360897 @default.
- W1570987862 hasConcept C204241405 @default.
- W1570987862 hasConcept C2776214188 @default.
- W1570987862 hasConcept C2777299769 @default.
- W1570987862 hasConcept C2777399953 @default.
- W1570987862 hasConcept C41008148 @default.
- W1570987862 hasConcept C55493867 @default.
- W1570987862 hasConcept C78458016 @default.
- W1570987862 hasConcept C80444323 @default.
- W1570987862 hasConcept C86803240 @default.
- W1570987862 hasConceptScore W1570987862C104317684 @default.
- W1570987862 hasConceptScore W1570987862C14036430 @default.
- W1570987862 hasConceptScore W1570987862C154945302 @default.
- W1570987862 hasConceptScore W1570987862C185592680 @default.
- W1570987862 hasConceptScore W1570987862C18903297 @default.
- W1570987862 hasConceptScore W1570987862C198370458 @default.
- W1570987862 hasConceptScore W1570987862C199360897 @default.
- W1570987862 hasConceptScore W1570987862C204241405 @default.
- W1570987862 hasConceptScore W1570987862C2776214188 @default.
- W1570987862 hasConceptScore W1570987862C2777299769 @default.
- W1570987862 hasConceptScore W1570987862C2777399953 @default.
- W1570987862 hasConceptScore W1570987862C41008148 @default.
- W1570987862 hasConceptScore W1570987862C55493867 @default.
- W1570987862 hasConceptScore W1570987862C78458016 @default.
- W1570987862 hasConceptScore W1570987862C80444323 @default.
- W1570987862 hasConceptScore W1570987862C86803240 @default.
- W1570987862 hasLocation W15709878621 @default.
- W1570987862 hasOpenAccess W1570987862 @default.
- W1570987862 hasPrimaryLocation W15709878621 @default.
- W1570987862 hasRelatedWork W1512151485 @default.
- W1570987862 hasRelatedWork W151388399 @default.
- W1570987862 hasRelatedWork W1532143586 @default.
- W1570987862 hasRelatedWork W1569267605 @default.
- W1570987862 hasRelatedWork W1606456853 @default.
- W1570987862 hasRelatedWork W184346136 @default.
- W1570987862 hasRelatedWork W1881030539 @default.
- W1570987862 hasRelatedWork W1908420220 @default.
- W1570987862 hasRelatedWork W1979299346 @default.
- W1570987862 hasRelatedWork W1997744477 @default.
- W1570987862 hasRelatedWork W2077853727 @default.
- W1570987862 hasRelatedWork W2091762291 @default.
- W1570987862 hasRelatedWork W2116151771 @default.
- W1570987862 hasRelatedWork W2163468719 @default.
- W1570987862 hasRelatedWork W2175275752 @default.
- W1570987862 hasRelatedWork W2208923056 @default.
- W1570987862 hasRelatedWork W2217064041 @default.
- W1570987862 hasRelatedWork W2264605182 @default.
- W1570987862 hasRelatedWork W2397637064 @default.
- W1570987862 hasRelatedWork W2625955000 @default.
- W1570987862 isParatext "false" @default.
- W1570987862 isRetracted "false" @default.
- W1570987862 magId "1570987862" @default.
- W1570987862 workType "article" @default.