Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000555527> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W2000555527 abstract "Proof assistants such as the Coq system have traditionally been a laboratory for exotic type features such as dependent and computable types, and first-class type classes. Although these features have been introduced independently, it turns out they can be com-bined in novel and nontrivial ways to solve some of the more challenging problems posed by the formalization of advanced mathematics. Many of these patterns could also be useful for general programming." @default.
- W2000555527 created "2016-06-24" @default.
- W2000555527 creator A5078217586 @default.
- W2000555527 date "2011-01-25" @default.
- W2000555527 modified "2023-09-25" @default.
- W2000555527 title "Type design patterns for computer mathematics" @default.
- W2000555527 doi "https://doi.org/10.1145/1929553.1929555" @default.
- W2000555527 hasPublicationYear "2011" @default.
- W2000555527 type Work @default.
- W2000555527 sameAs 2000555527 @default.
- W2000555527 citedByCount "0" @default.
- W2000555527 crossrefType "proceedings-article" @default.
- W2000555527 hasAuthorship W2000555527A5078217586 @default.
- W2000555527 hasConcept C145420912 @default.
- W2000555527 hasConcept C18903297 @default.
- W2000555527 hasConcept C2777299769 @default.
- W2000555527 hasConcept C33923547 @default.
- W2000555527 hasConcept C41008148 @default.
- W2000555527 hasConcept C80444323 @default.
- W2000555527 hasConcept C86803240 @default.
- W2000555527 hasConceptScore W2000555527C145420912 @default.
- W2000555527 hasConceptScore W2000555527C18903297 @default.
- W2000555527 hasConceptScore W2000555527C2777299769 @default.
- W2000555527 hasConceptScore W2000555527C33923547 @default.
- W2000555527 hasConceptScore W2000555527C41008148 @default.
- W2000555527 hasConceptScore W2000555527C80444323 @default.
- W2000555527 hasConceptScore W2000555527C86803240 @default.
- W2000555527 hasLocation W20005555271 @default.
- W2000555527 hasOpenAccess W2000555527 @default.
- W2000555527 hasPrimaryLocation W20005555271 @default.
- W2000555527 hasRelatedWork W1569206238 @default.
- W2000555527 hasRelatedWork W1569589535 @default.
- W2000555527 hasRelatedWork W2390279801 @default.
- W2000555527 hasRelatedWork W2392953011 @default.
- W2000555527 hasRelatedWork W2687785332 @default.
- W2000555527 hasRelatedWork W2748952813 @default.
- W2000555527 hasRelatedWork W2899084033 @default.
- W2000555527 hasRelatedWork W2952572287 @default.
- W2000555527 hasRelatedWork W35506460 @default.
- W2000555527 hasRelatedWork W654541948 @default.
- W2000555527 isParatext "false" @default.
- W2000555527 isRetracted "false" @default.
- W2000555527 magId "2000555527" @default.
- W2000555527 workType "article" @default.