FRINK Linked Data Fragments server

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

• W91661834 endingPage "164" @default.
• W91661834 startingPage "139" @default.
• W91661834 abstract "This paper presents a formal description of a small functional languagewith dependent types. The language contains data types, mutual recursive/inductive definitions and a universe of small types. The syntax,semantics and type system is specified in such a way that the implementationof a parser, interpreter and type checker is straightforward.The main difficulty is to design the conversion algorithm in such a waythat it works for open expressions. The paper ends with a completeimplementation in Haskell (around 400 lines of code)." @default.
• W91661834 created "2016-06-24" @default.
• W91661834 creator A5001387891 @default.
• W91661834 creator A5031449025 @default.
• W91661834 creator A5076083635 @default.
• W91661834 creator A5087100539 @default.
• W91661834 date "2010-08-04" @default.
• W91661834 modified "2023-10-18" @default.
• W91661834 title "A simple type-theoretic language: Mini-TT" @default.
• W91661834 cites W1497721891 @default.
• W91661834 cites W2015256273 @default.
• W91661834 cites W2058174669 @default.
• W91661834 cites W2090046646 @default.
• W91661834 cites W2113288428 @default.
• W91661834 cites W2142021747 @default.
• W91661834 cites W2148076999 @default.
• W91661834 cites W2158624842 @default.
• W91661834 cites W2163778775 @default.
• W91661834 cites W2168254994 @default.
• W91661834 cites W2295866357 @default.
• W91661834 doi "https://doi.org/10.1017/cbo9780511770524.007" @default.
• W91661834 hasPublicationYear "2010" @default.
• W91661834 type Work @default.
• W91661834 sameAs 91661834 @default.
• W91661834 citedByCount "2" @default.
• W91661834 countsByYear W916618342021 @default.
• W91661834 crossrefType "book-chapter" @default.
• W91661834 hasAuthorship W91661834A5001387891 @default.
• W91661834 hasAuthorship W91661834A5031449025 @default.
• W91661834 hasAuthorship W91661834A5076083635 @default.
• W91661834 hasAuthorship W91661834A5087100539 @default.
• W91661834 hasBestOaLocation W916618342 @default.
• W91661834 hasConcept C111472728 @default.
• W91661834 hasConcept C114408938 @default.
• W91661834 hasConcept C122783720 @default.
• W91661834 hasConcept C138885662 @default.
• W91661834 hasConcept C138958017 @default.
• W91661834 hasConcept C156325763 @default.
• W91661834 hasConcept C184337299 @default.
• W91661834 hasConcept C186644900 @default.
• W91661834 hasConcept C18903297 @default.
• W91661834 hasConcept C199360897 @default.
• W91661834 hasConcept C204321447 @default.
• W91661834 hasConcept C2777299769 @default.
• W91661834 hasConcept C2780586882 @default.
• W91661834 hasConcept C2780624054 @default.
• W91661834 hasConcept C41008148 @default.
• W91661834 hasConcept C42383842 @default.
• W91661834 hasConcept C44779574 @default.
• W91661834 hasConcept C58646249 @default.
• W91661834 hasConcept C60048249 @default.
• W91661834 hasConcept C86803240 @default.
• W91661834 hasConcept C93682546 @default.
• W91661834 hasConceptScore W91661834C111472728 @default.
• W91661834 hasConceptScore W91661834C114408938 @default.
• W91661834 hasConceptScore W91661834C122783720 @default.
• W91661834 hasConceptScore W91661834C138885662 @default.
• W91661834 hasConceptScore W91661834C138958017 @default.
• W91661834 hasConceptScore W91661834C156325763 @default.
• W91661834 hasConceptScore W91661834C184337299 @default.
• W91661834 hasConceptScore W91661834C186644900 @default.
• W91661834 hasConceptScore W91661834C18903297 @default.
• W91661834 hasConceptScore W91661834C199360897 @default.
• W91661834 hasConceptScore W91661834C204321447 @default.
• W91661834 hasConceptScore W91661834C2777299769 @default.
• W91661834 hasConceptScore W91661834C2780586882 @default.
• W91661834 hasConceptScore W91661834C2780624054 @default.
• W91661834 hasConceptScore W91661834C41008148 @default.
• W91661834 hasConceptScore W91661834C42383842 @default.
• W91661834 hasConceptScore W91661834C44779574 @default.
• W91661834 hasConceptScore W91661834C58646249 @default.
• W91661834 hasConceptScore W91661834C60048249 @default.
• W91661834 hasConceptScore W91661834C86803240 @default.
• W91661834 hasConceptScore W91661834C93682546 @default.
• W91661834 hasLocation W916618341 @default.
• W91661834 hasLocation W916618342 @default.
• W91661834 hasOpenAccess W91661834 @default.
• W91661834 hasPrimaryLocation W916618341 @default.
• W91661834 hasRelatedWork W108265368 @default.
• W91661834 hasRelatedWork W1529202760 @default.
• W91661834 hasRelatedWork W1538313499 @default.
• W91661834 hasRelatedWork W1538667139 @default.
• W91661834 hasRelatedWork W1559099005 @default.
• W91661834 hasRelatedWork W1584978202 @default.
• W91661834 hasRelatedWork W1633236740 @default.
• W91661834 hasRelatedWork W1843905228 @default.
• W91661834 hasRelatedWork W197852322 @default.
• W91661834 hasRelatedWork W1999626800 @default.
• W91661834 hasRelatedWork W2051940228 @default.
• W91661834 hasRelatedWork W2056598594 @default.
• W91661834 hasRelatedWork W2079799432 @default.
• W91661834 hasRelatedWork W2117477573 @default.
• W91661834 hasRelatedWork W2158003132 @default.
• W91661834 hasRelatedWork W2320709386 @default.
• W91661834 hasRelatedWork W2810463395 @default.
• W91661834 hasRelatedWork W273160975 @default.
• W91661834 hasRelatedWork W3106250575 @default.
• W91661834 hasRelatedWork W319665209 @default.

• next