Matches in SemOpenAlex for { <https://semopenalex.org/work/W164067667> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W164067667 abstract "We present the design and implementation of the strict and pure functional programming language Delphin. Its novel and distinctive features include a two-level design that distinguishes cleanly between the tasks of representing data and programming with data. One level is the logical framework LF [5], serving as Delphin’s data representation language. The other level is T + ω [15], a type theory designed to support programming using pattern matching and recursion. The main contribution of this work is therefore Delphin, in which one can program with higher-order, dependently-typed data structures such as proofs and typing derivations in a natural and intuitive way." @default.
- W164067667 created "2016-06-24" @default.
- W164067667 creator A5014050261 @default.
- W164067667 creator A5016090065 @default.
- W164067667 creator A5069133983 @default.
- W164067667 date "2002-01-01" @default.
- W164067667 modified "2023-09-27" @default.
- W164067667 title "Delphin: Functional Programming with Deductive Systems" @default.
- W164067667 cites W1489809529 @default.
- W164067667 cites W1522144077 @default.
- W164067667 cites W1537698905 @default.
- W164067667 cites W1582062578 @default.
- W164067667 cites W1634581701 @default.
- W164067667 cites W1727609483 @default.
- W164067667 cites W18425853 @default.
- W164067667 cites W1974190112 @default.
- W164067667 cites W2005192022 @default.
- W164067667 cites W2027584005 @default.
- W164067667 cites W2030916392 @default.
- W164067667 cites W2034711041 @default.
- W164067667 cites W2106556867 @default.
- W164067667 cites W2108857165 @default.
- W164067667 cites W2128180740 @default.
- W164067667 cites W2141287679 @default.
- W164067667 cites W77859606 @default.
- W164067667 cites W139261934 @default.
- W164067667 hasPublicationYear "2002" @default.
- W164067667 type Work @default.
- W164067667 sameAs 164067667 @default.
- W164067667 citedByCount "3" @default.
- W164067667 crossrefType "journal-article" @default.
- W164067667 hasAuthorship W164067667A5014050261 @default.
- W164067667 hasAuthorship W164067667A5016090065 @default.
- W164067667 hasAuthorship W164067667A5069133983 @default.
- W164067667 hasConcept C108710211 @default.
- W164067667 hasConcept C135790938 @default.
- W164067667 hasConcept C138958017 @default.
- W164067667 hasConcept C168773036 @default.
- W164067667 hasConcept C175971053 @default.
- W164067667 hasConcept C17744445 @default.
- W164067667 hasConcept C199360897 @default.
- W164067667 hasConcept C199539241 @default.
- W164067667 hasConcept C20528804 @default.
- W164067667 hasConcept C2524010 @default.
- W164067667 hasConcept C2776359362 @default.
- W164067667 hasConcept C33923547 @default.
- W164067667 hasConcept C41008148 @default.
- W164067667 hasConcept C42383842 @default.
- W164067667 hasConcept C80444323 @default.
- W164067667 hasConcept C94625758 @default.
- W164067667 hasConceptScore W164067667C108710211 @default.
- W164067667 hasConceptScore W164067667C135790938 @default.
- W164067667 hasConceptScore W164067667C138958017 @default.
- W164067667 hasConceptScore W164067667C168773036 @default.
- W164067667 hasConceptScore W164067667C175971053 @default.
- W164067667 hasConceptScore W164067667C17744445 @default.
- W164067667 hasConceptScore W164067667C199360897 @default.
- W164067667 hasConceptScore W164067667C199539241 @default.
- W164067667 hasConceptScore W164067667C20528804 @default.
- W164067667 hasConceptScore W164067667C2524010 @default.
- W164067667 hasConceptScore W164067667C2776359362 @default.
- W164067667 hasConceptScore W164067667C33923547 @default.
- W164067667 hasConceptScore W164067667C41008148 @default.
- W164067667 hasConceptScore W164067667C42383842 @default.
- W164067667 hasConceptScore W164067667C80444323 @default.
- W164067667 hasConceptScore W164067667C94625758 @default.
- W164067667 hasLocation W1640676671 @default.
- W164067667 hasOpenAccess W164067667 @default.
- W164067667 hasPrimaryLocation W1640676671 @default.
- W164067667 hasRelatedWork W1497824345 @default.
- W164067667 hasRelatedWork W1555705349 @default.
- W164067667 hasRelatedWork W1588934256 @default.
- W164067667 hasRelatedWork W1600654899 @default.
- W164067667 hasRelatedWork W1634581701 @default.
- W164067667 hasRelatedWork W1727609483 @default.
- W164067667 hasRelatedWork W1886863601 @default.
- W164067667 hasRelatedWork W1975082667 @default.
- W164067667 hasRelatedWork W1981269662 @default.
- W164067667 hasRelatedWork W1996404651 @default.
- W164067667 hasRelatedWork W2009464583 @default.
- W164067667 hasRelatedWork W2123887510 @default.
- W164067667 hasRelatedWork W2136171121 @default.
- W164067667 hasRelatedWork W2137850935 @default.
- W164067667 hasRelatedWork W2158542561 @default.
- W164067667 hasRelatedWork W2165434002 @default.
- W164067667 hasRelatedWork W2180471721 @default.
- W164067667 hasRelatedWork W2911379300 @default.
- W164067667 hasRelatedWork W2912255765 @default.
- W164067667 hasRelatedWork W1998187489 @default.
- W164067667 isParatext "false" @default.
- W164067667 isRetracted "false" @default.
- W164067667 magId "164067667" @default.
- W164067667 workType "article" @default.