Matches in SemOpenAlex for { <https://semopenalex.org/work/W93767710> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W93767710 abstract "This work concerns a type system for a simple applicative language. The system can be used for generating proof obligations which rule out “dynamic” type errors such as taking the head or tail of an empty list." @default.
- W93767710 created "2016-06-24" @default.
- W93767710 creator A5015407507 @default.
- W93767710 creator A5042933465 @default.
- W93767710 date "1994-01-01" @default.
- W93767710 modified "2023-09-22" @default.
- W93767710 title "Generation of Proof Obligations for Type Consistency (Extended Abstract)" @default.
- W93767710 cites W1534850143 @default.
- W93767710 cites W2166822586 @default.
- W93767710 cites W1483403238 @default.
- W93767710 doi "https://doi.org/10.1007/978-1-4471-3229-5_5" @default.
- W93767710 hasPublicationYear "1994" @default.
- W93767710 type Work @default.
- W93767710 sameAs 93767710 @default.
- W93767710 citedByCount "0" @default.
- W93767710 crossrefType "book-chapter" @default.
- W93767710 hasAuthorship W93767710A5015407507 @default.
- W93767710 hasAuthorship W93767710A5042933465 @default.
- W93767710 hasConcept C108710211 @default.
- W93767710 hasConcept C111472728 @default.
- W93767710 hasConcept C138885662 @default.
- W93767710 hasConcept C154945302 @default.
- W93767710 hasConcept C18903297 @default.
- W93767710 hasConcept C199343813 @default.
- W93767710 hasConcept C199360897 @default.
- W93767710 hasConcept C203265346 @default.
- W93767710 hasConcept C2524010 @default.
- W93767710 hasConcept C2776436953 @default.
- W93767710 hasConcept C2777299769 @default.
- W93767710 hasConcept C2777686260 @default.
- W93767710 hasConcept C2780586882 @default.
- W93767710 hasConcept C33923547 @default.
- W93767710 hasConcept C41008148 @default.
- W93767710 hasConcept C44779574 @default.
- W93767710 hasConcept C71924100 @default.
- W93767710 hasConcept C86803240 @default.
- W93767710 hasConcept C93682546 @default.
- W93767710 hasConceptScore W93767710C108710211 @default.
- W93767710 hasConceptScore W93767710C111472728 @default.
- W93767710 hasConceptScore W93767710C138885662 @default.
- W93767710 hasConceptScore W93767710C154945302 @default.
- W93767710 hasConceptScore W93767710C18903297 @default.
- W93767710 hasConceptScore W93767710C199343813 @default.
- W93767710 hasConceptScore W93767710C199360897 @default.
- W93767710 hasConceptScore W93767710C203265346 @default.
- W93767710 hasConceptScore W93767710C2524010 @default.
- W93767710 hasConceptScore W93767710C2776436953 @default.
- W93767710 hasConceptScore W93767710C2777299769 @default.
- W93767710 hasConceptScore W93767710C2777686260 @default.
- W93767710 hasConceptScore W93767710C2780586882 @default.
- W93767710 hasConceptScore W93767710C33923547 @default.
- W93767710 hasConceptScore W93767710C41008148 @default.
- W93767710 hasConceptScore W93767710C44779574 @default.
- W93767710 hasConceptScore W93767710C71924100 @default.
- W93767710 hasConceptScore W93767710C86803240 @default.
- W93767710 hasConceptScore W93767710C93682546 @default.
- W93767710 hasLocation W937677101 @default.
- W93767710 hasOpenAccess W93767710 @default.
- W93767710 hasPrimaryLocation W937677101 @default.
- W93767710 hasRelatedWork W128672336 @default.
- W93767710 hasRelatedWork W1502719242 @default.
- W93767710 hasRelatedWork W1541042121 @default.
- W93767710 hasRelatedWork W1564003788 @default.
- W93767710 hasRelatedWork W1581199567 @default.
- W93767710 hasRelatedWork W1852594029 @default.
- W93767710 hasRelatedWork W2006807875 @default.
- W93767710 hasRelatedWork W2074233181 @default.
- W93767710 hasRelatedWork W2078766035 @default.
- W93767710 hasRelatedWork W2398435956 @default.
- W93767710 hasRelatedWork W2463700520 @default.
- W93767710 hasRelatedWork W2463991046 @default.
- W93767710 hasRelatedWork W2569110961 @default.
- W93767710 hasRelatedWork W2730955152 @default.
- W93767710 hasRelatedWork W2898756849 @default.
- W93767710 hasRelatedWork W3082747210 @default.
- W93767710 hasRelatedWork W3194430492 @default.
- W93767710 hasRelatedWork W57077679 @default.
- W93767710 hasRelatedWork W86703705 @default.
- W93767710 hasRelatedWork W2120869910 @default.
- W93767710 isParatext "false" @default.
- W93767710 isRetracted "false" @default.
- W93767710 magId "93767710" @default.
- W93767710 workType "book-chapter" @default.