FRINK Linked Data Fragments server

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

• W3005061521 endingPage "352" @default.
• W3005061521 startingPage "341" @default.
• W3005061521 abstract "The Glasgow Haskell Compiler is an optimizing compiler that expresses and manipulates first-class equality proofs in its intermediate language. We describe a simple, elegant technique that exploits these equality proofs to support deferred type errors. The technique requires us to treat equality proofs as possibly-divergent terms; we show how to do so without losing either soundness or the zero-overhead cost model that the programmer expects." @default.
• W3005061521 created "2020-02-14" @default.
• W3005061521 creator A5011870508 @default.
• W3005061521 creator A5035267611 @default.
• W3005061521 creator A5080231360 @default.
• W3005061521 date "2012-09-09" @default.
• W3005061521 modified "2023-10-18" @default.
• W3005061521 title "Equality proofs and deferred type errors" @default.
• W3005061521 cites W1522049235 @default.
• W3005061521 cites W1558175043 @default.
• W3005061521 cites W2026792276 @default.
• W3005061521 cites W2036676170 @default.
• W3005061521 cites W2048706733 @default.
• W3005061521 cites W2052973434 @default.
• W3005061521 cites W2055886480 @default.
• W3005061521 cites W2068336423 @default.
• W3005061521 cites W2069858276 @default.
• W3005061521 cites W2070088936 @default.
• W3005061521 cites W2082765113 @default.
• W3005061521 cites W2107214848 @default.
• W3005061521 cites W2112474400 @default.
• W3005061521 cites W2115875619 @default.
• W3005061521 cites W2119649973 @default.
• W3005061521 cites W2125690388 @default.
• W3005061521 cites W2131916293 @default.
• W3005061521 cites W2133828278 @default.
• W3005061521 cites W2135683026 @default.
• W3005061521 cites W2140216155 @default.
• W3005061521 cites W2140647971 @default.
• W3005061521 cites W2141210774 @default.
• W3005061521 cites W2161011930 @default.
• W3005061521 cites W3163012639 @default.
• W3005061521 cites W4213422035 @default.
• W3005061521 cites W4240226860 @default.
• W3005061521 cites W4247853537 @default.
• W3005061521 doi "https://doi.org/10.1145/2398856.2364554" @default.
• W3005061521 hasPublicationYear "2012" @default.
• W3005061521 type Work @default.
• W3005061521 sameAs 3005061521 @default.
• W3005061521 citedByCount "6" @default.
• W3005061521 countsByYear W30050615212012 @default.
• W3005061521 countsByYear W30050615212013 @default.
• W3005061521 countsByYear W30050615212014 @default.
• W3005061521 countsByYear W30050615212020 @default.
• W3005061521 crossrefType "journal-article" @default.
• W3005061521 hasAuthorship W3005061521A5011870508 @default.
• W3005061521 hasAuthorship W3005061521A5035267611 @default.
• W3005061521 hasAuthorship W3005061521A5080231360 @default.
• W3005061521 hasConcept C108710211 @default.
• W3005061521 hasConcept C111472728 @default.
• W3005061521 hasConcept C138885662 @default.
• W3005061521 hasConcept C154945302 @default.
• W3005061521 hasConcept C165696696 @default.
• W3005061521 hasConcept C169590947 @default.
• W3005061521 hasConcept C18903297 @default.
• W3005061521 hasConcept C199360897 @default.
• W3005061521 hasConcept C2524010 @default.
• W3005061521 hasConcept C2777212361 @default.
• W3005061521 hasConcept C2777299769 @default.
• W3005061521 hasConcept C2778514511 @default.
• W3005061521 hasConcept C2779960059 @default.
• W3005061521 hasConcept C2780586882 @default.
• W3005061521 hasConcept C2780624054 @default.
• W3005061521 hasConcept C33923547 @default.
• W3005061521 hasConcept C38652104 @default.
• W3005061521 hasConcept C39920170 @default.
• W3005061521 hasConcept C41008148 @default.
• W3005061521 hasConcept C42383842 @default.
• W3005061521 hasConcept C86803240 @default.
• W3005061521 hasConceptScore W3005061521C108710211 @default.
• W3005061521 hasConceptScore W3005061521C111472728 @default.
• W3005061521 hasConceptScore W3005061521C138885662 @default.
• W3005061521 hasConceptScore W3005061521C154945302 @default.
• W3005061521 hasConceptScore W3005061521C165696696 @default.
• W3005061521 hasConceptScore W3005061521C169590947 @default.
• W3005061521 hasConceptScore W3005061521C18903297 @default.
• W3005061521 hasConceptScore W3005061521C199360897 @default.
• W3005061521 hasConceptScore W3005061521C2524010 @default.
• W3005061521 hasConceptScore W3005061521C2777212361 @default.
• W3005061521 hasConceptScore W3005061521C2777299769 @default.
• W3005061521 hasConceptScore W3005061521C2778514511 @default.
• W3005061521 hasConceptScore W3005061521C2779960059 @default.
• W3005061521 hasConceptScore W3005061521C2780586882 @default.
• W3005061521 hasConceptScore W3005061521C2780624054 @default.
• W3005061521 hasConceptScore W3005061521C33923547 @default.
• W3005061521 hasConceptScore W3005061521C38652104 @default.
• W3005061521 hasConceptScore W3005061521C39920170 @default.
• W3005061521 hasConceptScore W3005061521C41008148 @default.
• W3005061521 hasConceptScore W3005061521C42383842 @default.
• W3005061521 hasConceptScore W3005061521C86803240 @default.
• W3005061521 hasIssue "9" @default.
• W3005061521 hasLocation W30050615211 @default.
• W3005061521 hasOpenAccess W3005061521 @default.
• W3005061521 hasPrimaryLocation W30050615211 @default.
• W3005061521 hasRelatedWork W1573380057 @default.
• W3005061521 hasRelatedWork W1743041603 @default.
• W3005061521 hasRelatedWork W1971373556 @default.
• W3005061521 hasRelatedWork W2130363716 @default.

• next