FRINK Linked Data Fragments server

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

• W2106094088 endingPage "591" @default.
• W2106094088 startingPage "557" @default.
• W2106094088 abstract "This paper introduces trust analysis for higher-order languages. Trust analysis encourages the programmer to make explicit the trustworthiness of data, and in return it can guarantee that no mistakes with respect to trust will be made at run-time. We present a confluent λ-calculus with explicit trust operations, and we equip it with a trust-type system which has the subject reduction property. Trust information is presented as annotations of the underlying Curry types, and type inference is computable in O ( n 3 ) time." @default.
• W2106094088 created "2016-06-24" @default.
• W2106094088 creator A5011356414 @default.
• W2106094088 creator A5042909026 @default.
• W2106094088 date "1997-11-01" @default.
• W2106094088 modified "2023-10-17" @default.
• W2106094088 title "Trust in the λ-calculus" @default.
• W2106094088 cites W1567918249 @default.
• W2106094088 cites W1703087989 @default.
• W2106094088 cites W1969093922 @default.
• W2106094088 cites W1990048025 @default.
• W2106094088 cites W2001744589 @default.
• W2106094088 cites W2007313703 @default.
• W2106094088 cites W2012781562 @default.
• W2106094088 cites W2016049804 @default.
• W2106094088 cites W2017720469 @default.
• W2106094088 cites W2022443117 @default.
• W2106094088 cites W2025033165 @default.
• W2106094088 cites W2036378583 @default.
• W2106094088 cites W2043100293 @default.
• W2106094088 cites W2050012658 @default.
• W2106094088 cites W2054696368 @default.
• W2106094088 cites W2068711880 @default.
• W2106094088 cites W2073378225 @default.
• W2106094088 cites W2092054869 @default.
• W2106094088 cites W2094873755 @default.
• W2106094088 cites W2101085206 @default.
• W2106094088 cites W2129278597 @default.
• W2106094088 cites W2132500556 @default.
• W2106094088 cites W2137946574 @default.
• W2106094088 cites W2152390299 @default.
• W2106094088 cites W2154273644 @default.
• W2106094088 cites W2390351023 @default.
• W2106094088 cites W2503479549 @default.
• W2106094088 cites W2551062626 @default.
• W2106094088 cites W2613359208 @default.
• W2106094088 cites W2686043342 @default.
• W2106094088 cites W2912351643 @default.
• W2106094088 doi "https://doi.org/10.1017/s0956796897002906" @default.
• W2106094088 hasPublicationYear "1997" @default.
• W2106094088 type Work @default.
• W2106094088 sameAs 2106094088 @default.
• W2106094088 citedByCount "82" @default.
• W2106094088 countsByYear W21060940882013 @default.
• W2106094088 countsByYear W21060940882014 @default.
• W2106094088 countsByYear W21060940882015 @default.
• W2106094088 countsByYear W21060940882016 @default.
• W2106094088 countsByYear W21060940882017 @default.
• W2106094088 countsByYear W21060940882022 @default.
• W2106094088 crossrefType "journal-article" @default.
• W2106094088 hasAuthorship W2106094088A5011356414 @default.
• W2106094088 hasAuthorship W2106094088A5042909026 @default.
• W2106094088 hasBestOaLocation W21060940881 @default.
• W2106094088 hasConcept C111472728 @default.
• W2106094088 hasConcept C138885662 @default.
• W2106094088 hasConcept C153701036 @default.
• W2106094088 hasConcept C154945302 @default.
• W2106094088 hasConcept C18903297 @default.
• W2106094088 hasConcept C189950617 @default.
• W2106094088 hasConcept C198370458 @default.
• W2106094088 hasConcept C199343813 @default.
• W2106094088 hasConcept C199360897 @default.
• W2106094088 hasConcept C2776214188 @default.
• W2106094088 hasConcept C2777299769 @default.
• W2106094088 hasConcept C2777686260 @default.
• W2106094088 hasConcept C2778514511 @default.
• W2106094088 hasConcept C38652104 @default.
• W2106094088 hasConcept C41008148 @default.
• W2106094088 hasConcept C71924100 @default.
• W2106094088 hasConcept C80444323 @default.
• W2106094088 hasConcept C86803240 @default.
• W2106094088 hasConcept C93682546 @default.
• W2106094088 hasConceptScore W2106094088C111472728 @default.
• W2106094088 hasConceptScore W2106094088C138885662 @default.
• W2106094088 hasConceptScore W2106094088C153701036 @default.
• W2106094088 hasConceptScore W2106094088C154945302 @default.
• W2106094088 hasConceptScore W2106094088C18903297 @default.
• W2106094088 hasConceptScore W2106094088C189950617 @default.
• W2106094088 hasConceptScore W2106094088C198370458 @default.
• W2106094088 hasConceptScore W2106094088C199343813 @default.
• W2106094088 hasConceptScore W2106094088C199360897 @default.
• W2106094088 hasConceptScore W2106094088C2776214188 @default.
• W2106094088 hasConceptScore W2106094088C2777299769 @default.
• W2106094088 hasConceptScore W2106094088C2777686260 @default.
• W2106094088 hasConceptScore W2106094088C2778514511 @default.
• W2106094088 hasConceptScore W2106094088C38652104 @default.
• W2106094088 hasConceptScore W2106094088C41008148 @default.
• W2106094088 hasConceptScore W2106094088C71924100 @default.
• W2106094088 hasConceptScore W2106094088C80444323 @default.
• W2106094088 hasConceptScore W2106094088C86803240 @default.
• W2106094088 hasConceptScore W2106094088C93682546 @default.
• W2106094088 hasIssue "6" @default.
• W2106094088 hasLocation W21060940881 @default.
• W2106094088 hasOpenAccess W2106094088 @default.
• W2106094088 hasPrimaryLocation W21060940881 @default.
• W2106094088 hasRelatedWork W1480879962 @default.
• W2106094088 hasRelatedWork W1703087989 @default.
• W2106094088 hasRelatedWork W2139102157 @default.

• next