Matches in SemOpenAlex for { <https://semopenalex.org/work/W1558545088> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1558545088 startingPage "0" @default.
- W1558545088 abstract "In higher-type computation, established by Kleene and Kreisel in the late 1950's (independently), one works with the data types obtained from the discrete natural numbers by closing under finite products and function spaces. For the theory of higher-type programming languages, it is natural to work with a corresponding hierarchy, or type structure, of domains, identified by Ershov and Scott in the late 1960's (again independently). The Kleene-Kreisel and Ershov-Scott hierarchies account for total and partial computation respectively.In this tutorial I'll explain the theory and practice of higher-type computation and programming languages, and develop old and new applications.From a theoretical point of view, I'll present Kleene-Kreisel spaces and Ershov-Scott domains, and relate the two. Moreover, I'll discuss common generalizations, chiefly QCB spaces and equilogical spaces, which admit further useful closure properties, and their relationship to TTE (Schroeder, Simpson. Scott, Bauer, Weihrauch and many others). I'll also present a natural higher-type model of computation/programming language, namely PCF (Platek, Scott, Plotkin).From a practical point of view, I'll introduce a fragment of the language Haskell as a faithful implementation of PCF. Moreover, I'll develop and run several examples (and prove theorems about them), pertaining to (i) exhaustive search of infinite sets in finite time in particular Ulrich Berger's algorithm and generalizations), and (ii) computation with real numbers (in particular Alex Simpson's integration algorithm and generalizations)." @default.
- W1558545088 created "2016-06-24" @default.
- W1558545088 creator A5050767630 @default.
- W1558545088 date "2009-01-01" @default.
- W1558545088 modified "2023-09-23" @default.
- W1558545088 title "Theory and Practice of Higher-type Computation (Tutorial)" @default.
- W1558545088 doi "https://doi.org/10.4230/oasics.cca.2009.2254" @default.
- W1558545088 hasPublicationYear "2009" @default.
- W1558545088 type Work @default.
- W1558545088 sameAs 1558545088 @default.
- W1558545088 citedByCount "0" @default.
- W1558545088 crossrefType "journal-article" @default.
- W1558545088 hasAuthorship W1558545088A5050767630 @default.
- W1558545088 hasConcept C11413529 @default.
- W1558545088 hasConcept C118615104 @default.
- W1558545088 hasConcept C136119220 @default.
- W1558545088 hasConcept C146834321 @default.
- W1558545088 hasConcept C162324750 @default.
- W1558545088 hasConcept C169654258 @default.
- W1558545088 hasConcept C182359184 @default.
- W1558545088 hasConcept C184264201 @default.
- W1558545088 hasConcept C18903297 @default.
- W1558545088 hasConcept C202444582 @default.
- W1558545088 hasConcept C2777299769 @default.
- W1558545088 hasConcept C31170391 @default.
- W1558545088 hasConcept C33923547 @default.
- W1558545088 hasConcept C34447519 @default.
- W1558545088 hasConcept C41008148 @default.
- W1558545088 hasConcept C42383842 @default.
- W1558545088 hasConcept C45374587 @default.
- W1558545088 hasConcept C80444323 @default.
- W1558545088 hasConcept C86803240 @default.
- W1558545088 hasConcept C93682546 @default.
- W1558545088 hasConceptScore W1558545088C11413529 @default.
- W1558545088 hasConceptScore W1558545088C118615104 @default.
- W1558545088 hasConceptScore W1558545088C136119220 @default.
- W1558545088 hasConceptScore W1558545088C146834321 @default.
- W1558545088 hasConceptScore W1558545088C162324750 @default.
- W1558545088 hasConceptScore W1558545088C169654258 @default.
- W1558545088 hasConceptScore W1558545088C182359184 @default.
- W1558545088 hasConceptScore W1558545088C184264201 @default.
- W1558545088 hasConceptScore W1558545088C18903297 @default.
- W1558545088 hasConceptScore W1558545088C202444582 @default.
- W1558545088 hasConceptScore W1558545088C2777299769 @default.
- W1558545088 hasConceptScore W1558545088C31170391 @default.
- W1558545088 hasConceptScore W1558545088C33923547 @default.
- W1558545088 hasConceptScore W1558545088C34447519 @default.
- W1558545088 hasConceptScore W1558545088C41008148 @default.
- W1558545088 hasConceptScore W1558545088C42383842 @default.
- W1558545088 hasConceptScore W1558545088C45374587 @default.
- W1558545088 hasConceptScore W1558545088C80444323 @default.
- W1558545088 hasConceptScore W1558545088C86803240 @default.
- W1558545088 hasConceptScore W1558545088C93682546 @default.
- W1558545088 hasLocation W15585450881 @default.
- W1558545088 hasOpenAccess W1558545088 @default.
- W1558545088 hasPrimaryLocation W15585450881 @default.
- W1558545088 hasRelatedWork W1511090187 @default.
- W1558545088 hasRelatedWork W1518290936 @default.
- W1558545088 hasRelatedWork W1826929949 @default.
- W1558545088 hasRelatedWork W1966478469 @default.
- W1558545088 hasRelatedWork W1974400185 @default.
- W1558545088 hasRelatedWork W2004238969 @default.
- W1558545088 hasRelatedWork W2047438528 @default.
- W1558545088 hasRelatedWork W2074208814 @default.
- W1558545088 hasRelatedWork W2090564910 @default.
- W1558545088 hasRelatedWork W2098164019 @default.
- W1558545088 hasRelatedWork W2341132922 @default.
- W1558545088 hasRelatedWork W2493894882 @default.
- W1558545088 hasRelatedWork W2888119803 @default.
- W1558545088 hasRelatedWork W2963823306 @default.
- W1558545088 hasRelatedWork W3045958053 @default.
- W1558545088 hasRelatedWork W41951963 @default.
- W1558545088 hasRelatedWork W54604406 @default.
- W1558545088 hasRelatedWork W655793682 @default.
- W1558545088 hasRelatedWork W1563160544 @default.
- W1558545088 hasRelatedWork W2104312161 @default.
- W1558545088 hasVolume "11" @default.
- W1558545088 isParatext "false" @default.
- W1558545088 isRetracted "false" @default.
- W1558545088 magId "1558545088" @default.
- W1558545088 workType "article" @default.