Matches in SemOpenAlex for { <https://semopenalex.org/work/W135283063> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W135283063 abstract "We present CLF, a dependently typed logical framework with several novel features supporting concurrent computations, in particular monads and synchronous linear connectives. We illustrate its representation methodology of concurrent computations as monadic expressions via the encoding of an asynchronous π-calculus with correspondence assertions, including its dynamic semantics, safety criterion, and a type system with latent effects due to Gordon and Jeffrey. We also explain a new, general methodology for defining dependently-typed logical frameworks in the LF family. The methodology involves defining the terms of the framework directly in canonical form and greatly simplifies much of the metatheory of these frameworks, which has been notoriously difficult in the past. We have used the methodology to show that CLF has a number of key properties including decidability of type checking." @default.
- W135283063 created "2016-06-24" @default.
- W135283063 creator A5021476649 @default.
- W135283063 creator A5049454219 @default.
- W135283063 creator A5061649545 @default.
- W135283063 creator A5079598754 @default.
- W135283063 date "2004-01-01" @default.
- W135283063 modified "2023-09-27" @default.
- W135283063 title "CLF: A Dependent Logical Framework for Concurrent Computations∗" @default.
- W135283063 cites W1483205556 @default.
- W135283063 cites W1495087637 @default.
- W135283063 cites W1498395593 @default.
- W135283063 cites W1510393623 @default.
- W135283063 cites W1546574044 @default.
- W135283063 cites W1606625991 @default.
- W135283063 cites W1727609483 @default.
- W135283063 cites W1974190112 @default.
- W135283063 cites W1988824860 @default.
- W135283063 cites W1995469872 @default.
- W135283063 cites W1997143185 @default.
- W135283063 cites W2032234226 @default.
- W135283063 cites W2033339909 @default.
- W135283063 cites W2070324762 @default.
- W135283063 cites W2104130981 @default.
- W135283063 cites W2157379912 @default.
- W135283063 cites W2159869514 @default.
- W135283063 cites W2163602379 @default.
- W135283063 cites W2164449382 @default.
- W135283063 cites W2166944982 @default.
- W135283063 cites W2911865844 @default.
- W135283063 cites W3181070739 @default.
- W135283063 cites W2499919128 @default.
- W135283063 hasPublicationYear "2004" @default.
- W135283063 type Work @default.
- W135283063 sameAs 135283063 @default.
- W135283063 citedByCount "0" @default.
- W135283063 crossrefType "journal-article" @default.
- W135283063 hasAuthorship W135283063A5021476649 @default.
- W135283063 hasAuthorship W135283063A5049454219 @default.
- W135283063 hasAuthorship W135283063A5061649545 @default.
- W135283063 hasAuthorship W135283063A5079598754 @default.
- W135283063 hasConcept C110251889 @default.
- W135283063 hasConcept C151319957 @default.
- W135283063 hasConcept C153269930 @default.
- W135283063 hasConcept C17744445 @default.
- W135283063 hasConcept C184337299 @default.
- W135283063 hasConcept C199360897 @default.
- W135283063 hasConcept C199539241 @default.
- W135283063 hasConcept C20693621 @default.
- W135283063 hasConcept C2776235265 @default.
- W135283063 hasConcept C2776359362 @default.
- W135283063 hasConcept C31258907 @default.
- W135283063 hasConcept C39387531 @default.
- W135283063 hasConcept C41008148 @default.
- W135283063 hasConcept C45374587 @default.
- W135283063 hasConcept C80444323 @default.
- W135283063 hasConcept C94625758 @default.
- W135283063 hasConceptScore W135283063C110251889 @default.
- W135283063 hasConceptScore W135283063C151319957 @default.
- W135283063 hasConceptScore W135283063C153269930 @default.
- W135283063 hasConceptScore W135283063C17744445 @default.
- W135283063 hasConceptScore W135283063C184337299 @default.
- W135283063 hasConceptScore W135283063C199360897 @default.
- W135283063 hasConceptScore W135283063C199539241 @default.
- W135283063 hasConceptScore W135283063C20693621 @default.
- W135283063 hasConceptScore W135283063C2776235265 @default.
- W135283063 hasConceptScore W135283063C2776359362 @default.
- W135283063 hasConceptScore W135283063C31258907 @default.
- W135283063 hasConceptScore W135283063C39387531 @default.
- W135283063 hasConceptScore W135283063C41008148 @default.
- W135283063 hasConceptScore W135283063C45374587 @default.
- W135283063 hasConceptScore W135283063C80444323 @default.
- W135283063 hasConceptScore W135283063C94625758 @default.
- W135283063 hasLocation W1352830631 @default.
- W135283063 hasOpenAccess W135283063 @default.
- W135283063 hasPrimaryLocation W1352830631 @default.
- W135283063 hasRelatedWork W118354813 @default.
- W135283063 hasRelatedWork W1491574517 @default.
- W135283063 hasRelatedWork W1546948343 @default.
- W135283063 hasRelatedWork W1547096507 @default.
- W135283063 hasRelatedWork W1560127922 @default.
- W135283063 hasRelatedWork W1604338964 @default.
- W135283063 hasRelatedWork W1608337219 @default.
- W135283063 hasRelatedWork W1904529274 @default.
- W135283063 hasRelatedWork W1980150203 @default.
- W135283063 hasRelatedWork W1990092944 @default.
- W135283063 hasRelatedWork W2054237002 @default.
- W135283063 hasRelatedWork W2108711445 @default.
- W135283063 hasRelatedWork W2136185241 @default.
- W135283063 hasRelatedWork W2219275242 @default.
- W135283063 hasRelatedWork W2234078087 @default.
- W135283063 hasRelatedWork W2529723237 @default.
- W135283063 hasRelatedWork W2554498309 @default.
- W135283063 hasRelatedWork W2897928429 @default.
- W135283063 hasRelatedWork W96249932 @default.
- W135283063 hasRelatedWork W1755464305 @default.
- W135283063 isParatext "false" @default.
- W135283063 isRetracted "false" @default.
- W135283063 magId "135283063" @default.
- W135283063 workType "article" @default.