FRINK Linked Data Fragments server

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

• W1596723206 abstract "Bounded linear types have proved to be useful for automated resource analysis and control in functional programming languages. In this paper we introduce an affine bounded linear typing discipline on a general notion of resource which can be modeled in a semiring. For this type system we provide both a general type-inference procedure, parameterized by the decision procedure of the semiring equational theory, and a (coherent) categorical semantics. This is a very useful type-theoretic and denotational framework for many applications to resource-sensitive compilation, and it represents a generalization of several existing type systems. As a non-trivial instance, motivated by our ongoing work on hardware compilation, we present a complex new application to calculating and controlling timing of execution in a (recursion-free) higher-order functional programming language with local store." @default.
• W1596723206 created "2016-06-24" @default.
• W1596723206 creator A5051507372 @default.
• W1596723206 creator A5072298249 @default.
• W1596723206 date "2013-07-09" @default.
• W1596723206 modified "2023-09-27" @default.
• W1596723206 title "From bounded affine types to automatic timing analysis." @default.
• W1596723206 cites W1557490801 @default.
• W1596723206 cites W1579942814 @default.
• W1596723206 cites W1595465781 @default.
• W1596723206 cites W1663179985 @default.
• W1596723206 cites W192070947 @default.
• W1596723206 cites W1966928697 @default.
• W1596723206 cites W1981776739 @default.
• W1596723206 cites W2010790229 @default.
• W1596723206 cites W2011565534 @default.
• W1596723206 cites W2063460035 @default.
• W1596723206 cites W2079873887 @default.
• W1596723206 cites W2095343326 @default.
• W1596723206 cites W2121108713 @default.
• W1596723206 cites W2121576397 @default.
• W1596723206 cites W2137510026 @default.
• W1596723206 cites W2150548943 @default.
• W1596723206 cites W2170698790 @default.
• W1596723206 cites W2403175569 @default.
• W1596723206 cites W2950991407 @default.
• W1596723206 cites W2952320118 @default.
• W1596723206 hasPublicationYear "2013" @default.
• W1596723206 type Work @default.
• W1596723206 sameAs 1596723206 @default.
• W1596723206 citedByCount "1" @default.
• W1596723206 countsByYear W15967232062014 @default.
• W1596723206 crossrefType "posted-content" @default.
• W1596723206 hasAuthorship W1596723206A5051507372 @default.
• W1596723206 hasAuthorship W1596723206A5072298249 @default.
• W1596723206 hasConcept C11413529 @default.
• W1596723206 hasConcept C118615104 @default.
• W1596723206 hasConcept C134306372 @default.
• W1596723206 hasConcept C136119220 @default.
• W1596723206 hasConcept C154945302 @default.
• W1596723206 hasConcept C165464430 @default.
• W1596723206 hasConcept C168773036 @default.
• W1596723206 hasConcept C177148314 @default.
• W1596723206 hasConcept C18903297 @default.
• W1596723206 hasConcept C198370458 @default.
• W1596723206 hasConcept C199360897 @default.
• W1596723206 hasConcept C202444582 @default.
• W1596723206 hasConcept C21696900 @default.
• W1596723206 hasConcept C2776214188 @default.
• W1596723206 hasConcept C2777299769 @default.
• W1596723206 hasConcept C33923547 @default.
• W1596723206 hasConcept C34388435 @default.
• W1596723206 hasConcept C41008148 @default.
• W1596723206 hasConcept C42383842 @default.
• W1596723206 hasConcept C80444323 @default.
• W1596723206 hasConcept C86803240 @default.
• W1596723206 hasConcept C92757383 @default.
• W1596723206 hasConcept C93682546 @default.
• W1596723206 hasConceptScore W1596723206C11413529 @default.
• W1596723206 hasConceptScore W1596723206C118615104 @default.
• W1596723206 hasConceptScore W1596723206C134306372 @default.
• W1596723206 hasConceptScore W1596723206C136119220 @default.
• W1596723206 hasConceptScore W1596723206C154945302 @default.
• W1596723206 hasConceptScore W1596723206C165464430 @default.
• W1596723206 hasConceptScore W1596723206C168773036 @default.
• W1596723206 hasConceptScore W1596723206C177148314 @default.
• W1596723206 hasConceptScore W1596723206C18903297 @default.
• W1596723206 hasConceptScore W1596723206C198370458 @default.
• W1596723206 hasConceptScore W1596723206C199360897 @default.
• W1596723206 hasConceptScore W1596723206C202444582 @default.
• W1596723206 hasConceptScore W1596723206C21696900 @default.
• W1596723206 hasConceptScore W1596723206C2776214188 @default.
• W1596723206 hasConceptScore W1596723206C2777299769 @default.
• W1596723206 hasConceptScore W1596723206C33923547 @default.
• W1596723206 hasConceptScore W1596723206C34388435 @default.
• W1596723206 hasConceptScore W1596723206C41008148 @default.
• W1596723206 hasConceptScore W1596723206C42383842 @default.
• W1596723206 hasConceptScore W1596723206C80444323 @default.
• W1596723206 hasConceptScore W1596723206C86803240 @default.
• W1596723206 hasConceptScore W1596723206C92757383 @default.
• W1596723206 hasConceptScore W1596723206C93682546 @default.
• W1596723206 hasLocation W15967232061 @default.
• W1596723206 hasOpenAccess W1596723206 @default.
• W1596723206 hasPrimaryLocation W15967232061 @default.
• W1596723206 hasRelatedWork W1479894205 @default.
• W1596723206 hasRelatedWork W1529673590 @default.
• W1596723206 hasRelatedWork W1576705746 @default.
• W1596723206 hasRelatedWork W1973827570 @default.
• W1596723206 hasRelatedWork W1978840985 @default.
• W1596723206 hasRelatedWork W2057097914 @default.
• W1596723206 hasRelatedWork W2075052434 @default.
• W1596723206 hasRelatedWork W2281752977 @default.
• W1596723206 hasRelatedWork W2313716282 @default.
• W1596723206 hasRelatedWork W2331781799 @default.
• W1596723206 hasRelatedWork W2889187308 @default.
• W1596723206 hasRelatedWork W2953092756 @default.
• W1596723206 hasRelatedWork W2970969247 @default.
• W1596723206 hasRelatedWork W2999111365 @default.
• W1596723206 hasRelatedWork W3098168665 @default.
• W1596723206 hasRelatedWork W3103318063 @default.

• next