Matches in SemOpenAlex for { <https://semopenalex.org/work/W2566147788> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2566147788 abstract "The purpose of this book is to teach logic and mathematical reasoningin practice, and to connect logical reasoning with computerprogramming. The programming language that will be our tool for thisis Haskell, a member of the Lisp family. Haskell emerged in the lastdecade as a standard for lazy functional programming, a programmingstyle where arguments are evaluated only when the value is actuallyneeded. Functional programming is a form of descriptive programming,very different from the style of programming that you find inprescriptive languages like C or Java. Haskell is based on a logicaltheory of computable functions called the lambda calculus.begin{quote} Lambda calculus is a formal language capable of expressing arbitrary computable functions. In combination with types it forms a compact way to denote on the one hand functional programs and on the other hand mathematical proofs. cite{Barendregt:tlc}end{quote}Haskell can be viewed as a particularly elegant implementation of the lambda calculus. It is a marvelous demonstration tool forlogic and maths because its functional character allows implementationsto remain very close to the concepts that get implemented, while thelaziness permits smooth handling of infinite data structures." @default.
- W2566147788 created "2017-01-06" @default.
- W2566147788 creator A5001320880 @default.
- W2566147788 creator A5068699897 @default.
- W2566147788 date "2004-05-07" @default.
- W2566147788 modified "2023-09-27" @default.
- W2566147788 title "The Haskell Road to Logic, Maths and Programming. Second Edition" @default.
- W2566147788 hasPublicationYear "2004" @default.
- W2566147788 type Work @default.
- W2566147788 sameAs 2566147788 @default.
- W2566147788 citedByCount "0" @default.
- W2566147788 crossrefType "book" @default.
- W2566147788 hasAuthorship W2566147788A5001320880 @default.
- W2566147788 hasAuthorship W2566147788A5068699897 @default.
- W2566147788 hasConcept C108710211 @default.
- W2566147788 hasConcept C128838566 @default.
- W2566147788 hasConcept C135790938 @default.
- W2566147788 hasConcept C146206909 @default.
- W2566147788 hasConcept C169590947 @default.
- W2566147788 hasConcept C199343813 @default.
- W2566147788 hasConcept C199360897 @default.
- W2566147788 hasConcept C2524010 @default.
- W2566147788 hasConcept C2777686260 @default.
- W2566147788 hasConcept C2780624054 @default.
- W2566147788 hasConcept C33923547 @default.
- W2566147788 hasConcept C34165917 @default.
- W2566147788 hasConcept C41008148 @default.
- W2566147788 hasConcept C42383842 @default.
- W2566147788 hasConcept C50033165 @default.
- W2566147788 hasConcept C71924100 @default.
- W2566147788 hasConceptScore W2566147788C108710211 @default.
- W2566147788 hasConceptScore W2566147788C128838566 @default.
- W2566147788 hasConceptScore W2566147788C135790938 @default.
- W2566147788 hasConceptScore W2566147788C146206909 @default.
- W2566147788 hasConceptScore W2566147788C169590947 @default.
- W2566147788 hasConceptScore W2566147788C199343813 @default.
- W2566147788 hasConceptScore W2566147788C199360897 @default.
- W2566147788 hasConceptScore W2566147788C2524010 @default.
- W2566147788 hasConceptScore W2566147788C2777686260 @default.
- W2566147788 hasConceptScore W2566147788C2780624054 @default.
- W2566147788 hasConceptScore W2566147788C33923547 @default.
- W2566147788 hasConceptScore W2566147788C34165917 @default.
- W2566147788 hasConceptScore W2566147788C41008148 @default.
- W2566147788 hasConceptScore W2566147788C42383842 @default.
- W2566147788 hasConceptScore W2566147788C50033165 @default.
- W2566147788 hasConceptScore W2566147788C71924100 @default.
- W2566147788 hasLocation W25661477881 @default.
- W2566147788 hasOpenAccess W2566147788 @default.
- W2566147788 hasPrimaryLocation W25661477881 @default.
- W2566147788 hasRelatedWork W1483040095 @default.
- W2566147788 hasRelatedWork W1491259492 @default.
- W2566147788 hasRelatedWork W1534873390 @default.
- W2566147788 hasRelatedWork W153586760 @default.
- W2566147788 hasRelatedWork W1554287119 @default.
- W2566147788 hasRelatedWork W1584978202 @default.
- W2566147788 hasRelatedWork W1596981105 @default.
- W2566147788 hasRelatedWork W1966091859 @default.
- W2566147788 hasRelatedWork W1993367958 @default.
- W2566147788 hasRelatedWork W2111076108 @default.
- W2566147788 hasRelatedWork W2135084927 @default.
- W2566147788 hasRelatedWork W2140797662 @default.
- W2566147788 hasRelatedWork W2164449382 @default.
- W2566147788 hasRelatedWork W2264687 @default.
- W2566147788 hasRelatedWork W2346233544 @default.
- W2566147788 hasRelatedWork W2351603469 @default.
- W2566147788 hasRelatedWork W2538883850 @default.
- W2566147788 hasRelatedWork W29273864 @default.
- W2566147788 hasRelatedWork W35691755 @default.
- W2566147788 hasRelatedWork W722158 @default.
- W2566147788 isParatext "false" @default.
- W2566147788 isRetracted "false" @default.
- W2566147788 magId "2566147788" @default.
- W2566147788 workType "book" @default.