FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3145350942> ?p ?o ?g. }

• W3145350942 endingPage "103" @default.
• W3145350942 startingPage "89" @default.
• W3145350942 abstract "Theorems for Free! (Wadler, FPCA 1989) is a slogan for a technique that allows to derive statements about functions just from their types. So far, the statements considered have always had a purely extensional flavor: statements relating the value semantics of program expressions, but not statements relating their runtime (or other) cost. Here we study an extension of the technique that allows precisely statements of the latter flavor, by deriving quantitative theorems for free. After developing the theory, we walk through a number of example derivations. Probably none of the statements derived in those simple examples will be particularly surprising to most readers, but what is maybe surprising, and at the very least novel, is that there is a general technique for obtaining such results on a quantitative level in a principled way. Moreover, there is good potential to bring that technique to bear on more complex examples as well. We turn our attention to short-cut fusion (Gill et al., FPCA 1993) in particular." @default.
• W3145350942 created "2021-04-13" @default.
• W3145350942 creator A5026029995 @default.
• W3145350942 creator A5073936754 @default.
• W3145350942 date "2011-07-04" @default.
• W3145350942 modified "2023-10-01" @default.
• W3145350942 title "Improvements for Free" @default.
• W3145350942 cites W1532502754 @default.
• W3145350942 cites W1534185537 @default.
• W3145350942 cites W1605545000 @default.
• W3145350942 cites W1966981171 @default.
• W3145350942 cites W2046280690 @default.
• W3145350942 cites W2051600983 @default.
• W3145350942 cites W2052184002 @default.
• W3145350942 cites W2057292961 @default.
• W3145350942 cites W2071327896 @default.
• W3145350942 cites W2097046319 @default.
• W3145350942 cites W2170360634 @default.
• W3145350942 cites W3001032111 @default.
• W3145350942 cites W3043523721 @default.
• W3145350942 cites W3107822754 @default.
• W3145350942 cites W3171421481 @default.
• W3145350942 cites W3181583482 @default.
• W3145350942 cites W4242167629 @default.
• W3145350942 doi "https://doi.org/10.4204/eptcs.57.7" @default.
• W3145350942 hasPublicationYear "2011" @default.
• W3145350942 type Work @default.
• W3145350942 sameAs 3145350942 @default.
• W3145350942 citedByCount "4" @default.
• W3145350942 countsByYear W31453509422015 @default.
• W3145350942 countsByYear W31453509422018 @default.
• W3145350942 countsByYear W31453509422019 @default.
• W3145350942 countsByYear W31453509422022 @default.
• W3145350942 crossrefType "journal-article" @default.
• W3145350942 hasAuthorship W3145350942A5026029995 @default.
• W3145350942 hasAuthorship W3145350942A5073936754 @default.
• W3145350942 hasBestOaLocation W31453509421 @default.
• W3145350942 hasConcept C111472728 @default.
• W3145350942 hasConcept C119857082 @default.
• W3145350942 hasConcept C136119220 @default.
• W3145350942 hasConcept C136137745 @default.
• W3145350942 hasConcept C138885662 @default.
• W3145350942 hasConcept C144237770 @default.
• W3145350942 hasConcept C151730666 @default.
• W3145350942 hasConcept C17744445 @default.
• W3145350942 hasConcept C184337299 @default.
• W3145350942 hasConcept C199343813 @default.
• W3145350942 hasConcept C199360897 @default.
• W3145350942 hasConcept C199539241 @default.
• W3145350942 hasConcept C202444582 @default.
• W3145350942 hasConcept C2776291640 @default.
• W3145350942 hasConcept C2777686260 @default.
• W3145350942 hasConcept C2778029271 @default.
• W3145350942 hasConcept C2780586882 @default.
• W3145350942 hasConcept C2780619561 @default.
• W3145350942 hasConcept C33923547 @default.
• W3145350942 hasConcept C41008148 @default.
• W3145350942 hasConcept C71924100 @default.
• W3145350942 hasConcept C77928131 @default.
• W3145350942 hasConcept C80444323 @default.
• W3145350942 hasConcept C86803240 @default.
• W3145350942 hasConcept C94625758 @default.
• W3145350942 hasConceptScore W3145350942C111472728 @default.
• W3145350942 hasConceptScore W3145350942C119857082 @default.
• W3145350942 hasConceptScore W3145350942C136119220 @default.
• W3145350942 hasConceptScore W3145350942C136137745 @default.
• W3145350942 hasConceptScore W3145350942C138885662 @default.
• W3145350942 hasConceptScore W3145350942C144237770 @default.
• W3145350942 hasConceptScore W3145350942C151730666 @default.
• W3145350942 hasConceptScore W3145350942C17744445 @default.
• W3145350942 hasConceptScore W3145350942C184337299 @default.
• W3145350942 hasConceptScore W3145350942C199343813 @default.
• W3145350942 hasConceptScore W3145350942C199360897 @default.
• W3145350942 hasConceptScore W3145350942C199539241 @default.
• W3145350942 hasConceptScore W3145350942C202444582 @default.
• W3145350942 hasConceptScore W3145350942C2776291640 @default.
• W3145350942 hasConceptScore W3145350942C2777686260 @default.
• W3145350942 hasConceptScore W3145350942C2778029271 @default.
• W3145350942 hasConceptScore W3145350942C2780586882 @default.
• W3145350942 hasConceptScore W3145350942C2780619561 @default.
• W3145350942 hasConceptScore W3145350942C33923547 @default.
• W3145350942 hasConceptScore W3145350942C41008148 @default.
• W3145350942 hasConceptScore W3145350942C71924100 @default.
• W3145350942 hasConceptScore W3145350942C77928131 @default.
• W3145350942 hasConceptScore W3145350942C80444323 @default.
• W3145350942 hasConceptScore W3145350942C86803240 @default.
• W3145350942 hasConceptScore W3145350942C94625758 @default.
• W3145350942 hasLocation W31453509421 @default.
• W3145350942 hasLocation W31453509422 @default.
• W3145350942 hasLocation W31453509423 @default.
• W3145350942 hasOpenAccess W3145350942 @default.
• W3145350942 hasPrimaryLocation W31453509421 @default.
• W3145350942 hasRelatedWork W1565338810 @default.
• W3145350942 hasRelatedWork W1982114223 @default.
• W3145350942 hasRelatedWork W1992074151 @default.
• W3145350942 hasRelatedWork W2020215474 @default.
• W3145350942 hasRelatedWork W2069939853 @default.
• W3145350942 hasRelatedWork W2089523646 @default.

• next