Matches in SemOpenAlex for { <https://semopenalex.org/work/W1968424997> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1968424997 abstract "System FC, the core language of the Glasgow Haskell Compiler, is an explicitly-typed variant of System F with first-class type equality proofs called coercions. This extensible proof system forms the foundation for type system extensions such as type families (type-level functions) and Generalized Algebraic Datatypes (GADTs). Such features, in conjunction with kind polymorphism and datatype promotion, support expressive compile-time reasoning." @default.
- W1968424997 created "2016-06-24" @default.
- W1968424997 creator A5033286190 @default.
- W1968424997 creator A5049220962 @default.
- W1968424997 creator A5082913747 @default.
- W1968424997 date "2013-09-25" @default.
- W1968424997 modified "2023-10-16" @default.
- W1968424997 title "System FC with explicit kind equality" @default.
- W1968424997 cites W1971373556 @default.
- W1968424997 cites W1983989148 @default.
- W1968424997 cites W2024398154 @default.
- W1968424997 cites W2027584005 @default.
- W1968424997 cites W2031442766 @default.
- W1968424997 cites W2032777378 @default.
- W1968424997 cites W2107214848 @default.
- W1968424997 cites W2112474400 @default.
- W1968424997 cites W2125690388 @default.
- W1968424997 cites W2127389065 @default.
- W1968424997 cites W2133629640 @default.
- W1968424997 cites W2140647971 @default.
- W1968424997 cites W2144209827 @default.
- W1968424997 cites W2154390633 @default.
- W1968424997 cites W2156285626 @default.
- W1968424997 cites W2169605160 @default.
- W1968424997 cites W4213422035 @default.
- W1968424997 cites W4237116508 @default.
- W1968424997 cites W4247853537 @default.
- W1968424997 doi "https://doi.org/10.1145/2500365.2500599" @default.
- W1968424997 hasPublicationYear "2013" @default.
- W1968424997 type Work @default.
- W1968424997 sameAs 1968424997 @default.
- W1968424997 citedByCount "31" @default.
- W1968424997 countsByYear W19684249972013 @default.
- W1968424997 countsByYear W19684249972014 @default.
- W1968424997 countsByYear W19684249972015 @default.
- W1968424997 countsByYear W19684249972016 @default.
- W1968424997 countsByYear W19684249972017 @default.
- W1968424997 countsByYear W19684249972019 @default.
- W1968424997 countsByYear W19684249972020 @default.
- W1968424997 countsByYear W19684249972021 @default.
- W1968424997 countsByYear W19684249972023 @default.
- W1968424997 crossrefType "proceedings-article" @default.
- W1968424997 hasAuthorship W1968424997A5033286190 @default.
- W1968424997 hasAuthorship W1968424997A5049220962 @default.
- W1968424997 hasAuthorship W1968424997A5082913747 @default.
- W1968424997 hasBestOaLocation W19684249972 @default.
- W1968424997 hasConcept C108710211 @default.
- W1968424997 hasConcept C135790938 @default.
- W1968424997 hasConcept C136119220 @default.
- W1968424997 hasConcept C169590947 @default.
- W1968424997 hasConcept C18903297 @default.
- W1968424997 hasConcept C199360897 @default.
- W1968424997 hasConcept C202444582 @default.
- W1968424997 hasConcept C2524010 @default.
- W1968424997 hasConcept C2777299769 @default.
- W1968424997 hasConcept C2780624054 @default.
- W1968424997 hasConcept C33923547 @default.
- W1968424997 hasConcept C41008148 @default.
- W1968424997 hasConcept C42383842 @default.
- W1968424997 hasConcept C44779574 @default.
- W1968424997 hasConcept C55128367 @default.
- W1968424997 hasConcept C86803240 @default.
- W1968424997 hasConcept C93682546 @default.
- W1968424997 hasConceptScore W1968424997C108710211 @default.
- W1968424997 hasConceptScore W1968424997C135790938 @default.
- W1968424997 hasConceptScore W1968424997C136119220 @default.
- W1968424997 hasConceptScore W1968424997C169590947 @default.
- W1968424997 hasConceptScore W1968424997C18903297 @default.
- W1968424997 hasConceptScore W1968424997C199360897 @default.
- W1968424997 hasConceptScore W1968424997C202444582 @default.
- W1968424997 hasConceptScore W1968424997C2524010 @default.
- W1968424997 hasConceptScore W1968424997C2777299769 @default.
- W1968424997 hasConceptScore W1968424997C2780624054 @default.
- W1968424997 hasConceptScore W1968424997C33923547 @default.
- W1968424997 hasConceptScore W1968424997C41008148 @default.
- W1968424997 hasConceptScore W1968424997C42383842 @default.
- W1968424997 hasConceptScore W1968424997C44779574 @default.
- W1968424997 hasConceptScore W1968424997C55128367 @default.
- W1968424997 hasConceptScore W1968424997C86803240 @default.
- W1968424997 hasConceptScore W1968424997C93682546 @default.
- W1968424997 hasLocation W19684249971 @default.
- W1968424997 hasLocation W19684249972 @default.
- W1968424997 hasOpenAccess W1968424997 @default.
- W1968424997 hasPrimaryLocation W19684249971 @default.
- W1968424997 hasRelatedWork W1573380057 @default.
- W1968424997 hasRelatedWork W1583431014 @default.
- W1968424997 hasRelatedWork W1757338326 @default.
- W1968424997 hasRelatedWork W1975664374 @default.
- W1968424997 hasRelatedWork W2017112188 @default.
- W1968424997 hasRelatedWork W2098374496 @default.
- W1968424997 hasRelatedWork W2112250323 @default.
- W1968424997 hasRelatedWork W2192862863 @default.
- W1968424997 hasRelatedWork W4251000889 @default.
- W1968424997 hasRelatedWork W91661834 @default.
- W1968424997 isParatext "false" @default.
- W1968424997 isRetracted "false" @default.
- W1968424997 magId "1968424997" @default.
- W1968424997 workType "article" @default.