FRINK Linked Data Fragments server

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

• W35195178 endingPage "240" @default.
• W35195178 startingPage "225" @default.
• W35195178 abstract "How can one rigorously specify that a given ML functional $f : (texttt{int} to texttt{int}) to texttt{int}$ is pure, i.e., f produces no computational effects except those produced by evaluation of its functional argument? In this paper, we introduce a semantic notion of monadic parametricity for second-order functionals which is a form of purity. We show that every monadically parametric f admits a question-answer strategy tree representation. We discuss possible applications of this notion, e.g., to the verification of generic fixpoint algorithms. The results are presented in two settings: a total set-theoretic setting and a partial domain-theoretic one. All proofs are formalized by means of the proof assistant Coq." @default.
• W35195178 created "2016-06-24" @default.
• W35195178 creator A5020014658 @default.
• W35195178 creator A5068602858 @default.
• W35195178 creator A5075724502 @default.
• W35195178 date "2013-01-01" @default.
• W35195178 modified "2023-10-18" @default.
• W35195178 title "On Monadic Parametricity of Second-Order Functionals" @default.
• W35195178 cites W1482328693 @default.
• W35195178 cites W1507465323 @default.
• W35195178 cites W1515039666 @default.
• W35195178 cites W1561135709 @default.
• W35195178 cites W1591846509 @default.
• W35195178 cites W1923324835 @default.
• W35195178 cites W1998095216 @default.
• W35195178 cites W2024189573 @default.
• W35195178 cites W2044507549 @default.
• W35195178 cites W2057292961 @default.
• W35195178 cites W2086558155 @default.
• W35195178 cites W2294422796 @default.
• W35195178 cites W3081070414 @default.
• W35195178 cites W3169946360 @default.
• W35195178 cites W3171421481 @default.
• W35195178 doi "https://doi.org/10.1007/978-3-642-37075-5_15" @default.
• W35195178 hasPublicationYear "2013" @default.
• W35195178 type Work @default.
• W35195178 sameAs 35195178 @default.
• W35195178 citedByCount "5" @default.
• W35195178 countsByYear W351951782012 @default.
• W35195178 countsByYear W351951782014 @default.
• W35195178 countsByYear W351951782015 @default.
• W35195178 countsByYear W351951782016 @default.
• W35195178 countsByYear W351951782017 @default.
• W35195178 crossrefType "book-chapter" @default.
• W35195178 hasAuthorship W35195178A5020014658 @default.
• W35195178 hasAuthorship W35195178A5068602858 @default.
• W35195178 hasAuthorship W35195178A5075724502 @default.
• W35195178 hasBestOaLocation W351951781 @default.
• W35195178 hasConcept C10138342 @default.
• W35195178 hasConcept C102993220 @default.
• W35195178 hasConcept C108710211 @default.
• W35195178 hasConcept C113174947 @default.
• W35195178 hasConcept C114614502 @default.
• W35195178 hasConcept C118615104 @default.
• W35195178 hasConcept C124656256 @default.
• W35195178 hasConcept C134306372 @default.
• W35195178 hasConcept C136119220 @default.
• W35195178 hasConcept C162324750 @default.
• W35195178 hasConcept C169896238 @default.
• W35195178 hasConcept C17744445 @default.
• W35195178 hasConcept C182306322 @default.
• W35195178 hasConcept C185592680 @default.
• W35195178 hasConcept C199539241 @default.
• W35195178 hasConcept C202444582 @default.
• W35195178 hasConcept C2524010 @default.
• W35195178 hasConcept C2776359362 @default.
• W35195178 hasConcept C33923547 @default.
• W35195178 hasConcept C36503486 @default.
• W35195178 hasConcept C41008148 @default.
• W35195178 hasConcept C55493867 @default.
• W35195178 hasConcept C80444323 @default.
• W35195178 hasConcept C94625758 @default.
• W35195178 hasConcept C98184364 @default.
• W35195178 hasConceptScore W35195178C10138342 @default.
• W35195178 hasConceptScore W35195178C102993220 @default.
• W35195178 hasConceptScore W35195178C108710211 @default.
• W35195178 hasConceptScore W35195178C113174947 @default.
• W35195178 hasConceptScore W35195178C114614502 @default.
• W35195178 hasConceptScore W35195178C118615104 @default.
• W35195178 hasConceptScore W35195178C124656256 @default.
• W35195178 hasConceptScore W35195178C134306372 @default.
• W35195178 hasConceptScore W35195178C136119220 @default.
• W35195178 hasConceptScore W35195178C162324750 @default.
• W35195178 hasConceptScore W35195178C169896238 @default.
• W35195178 hasConceptScore W35195178C17744445 @default.
• W35195178 hasConceptScore W35195178C182306322 @default.
• W35195178 hasConceptScore W35195178C185592680 @default.
• W35195178 hasConceptScore W35195178C199539241 @default.
• W35195178 hasConceptScore W35195178C202444582 @default.
• W35195178 hasConceptScore W35195178C2524010 @default.
• W35195178 hasConceptScore W35195178C2776359362 @default.
• W35195178 hasConceptScore W35195178C33923547 @default.
• W35195178 hasConceptScore W35195178C36503486 @default.
• W35195178 hasConceptScore W35195178C41008148 @default.
• W35195178 hasConceptScore W35195178C55493867 @default.
• W35195178 hasConceptScore W35195178C80444323 @default.
• W35195178 hasConceptScore W35195178C94625758 @default.
• W35195178 hasConceptScore W35195178C98184364 @default.
• W35195178 hasLocation W351951781 @default.
• W35195178 hasLocation W351951782 @default.
• W35195178 hasLocation W351951783 @default.
• W35195178 hasLocation W351951784 @default.
• W35195178 hasLocation W351951785 @default.
• W35195178 hasOpenAccess W35195178 @default.
• W35195178 hasPrimaryLocation W351951781 @default.
• W35195178 hasRelatedWork W145900249 @default.
• W35195178 hasRelatedWork W2015780695 @default.
• W35195178 hasRelatedWork W2021410963 @default.

• next