Code: 06788222
Domain-theoretic Foundations Of Functional Programming
by Thomas Streicher
Provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. This book introduces basic domain theory and technique of logical relations as developed b ... more
- Language:
English - Binding: Hardback
- Number of pages: 132
Publisher: World Scientific Publishing Co Pte Ltd, 2006
- More about this
You might also like
-
Jojo's Bizarre Adventure: Purple Smoke Distortion
20.37 € -24 % -
El principito
11.70 € -
FLORIBUNDA YEAR
13.81 € -22 % -
SEABIRDS
93.53 € -
Ferrari Formula 1 Car by Car
42.27 € -24 % -
Verdi, Man And Musician: His Biography, With Especial Reference To His English Experiences (1897)
30.87 € -2 % -
Renaissance and Reformation
72.64 € -
Les Effets de la TVA Sur Le Patrimoine Des Menages Congolais
31.98 € -11 % -
Wild for Austen
21.38 € -27 % -
ESTUDIO EN LILA
8.37 € -
An Introduction to Algebraic Topology
63.36 € -9 % -
Solvent-Responsive Shape Memory Polymers for Biomedical Applications
71.73 € -
The Aloha Quilt
13.41 € -24 % -
Petersburg Fin de Siecle
49.23 € -
Theory-based Approach to Art Therapy
67.80 € -
The Indissolubility of Marriage and the Council of Trent
37.73 € -
miniLÜK. Vorschule/1. Klasse Conni rechnet mit Taschengeld
7.86 € -
Religion, Disability, and Interpersonal Violence
70.42 € -9 % -
Nonlinear and Adaptive Control Design
220.88 € -10 % -
Bitcoin - Mastering The World Of Cryptocurrency
14.72 € -25 % -
Lawless
14.02 € -7 % -
Der Dimorphismus Der Wahrheit
47.11 € -6 % -
Magnetyczni
7.66 € -
We Celebrate Arbor Day in Spring
28.85 € -9 % -
Colbé
18.25 € -7 % -
TIERethik (10. Jahrgang 2018/2)
20.47 € -4 % -
MAGNIFICENT BK OF OCEAN CREATURES
15.13 € -29 % -
Nuova visione delle proprieta omomorfiche nell'algebra BCK
40.86 € -14 % -
Gold Star for George
7.66 € -25 % -
Child Care and Preschool Development in Europe
106.04 € -4 % -
Die Figur des Intriganten im bürgerlichen Trauerspiel des 18. Jahrhunderts
38.23 € -11 % -
Digest of High School Mathematics ..
28.24 € -1 % -
Power Club - Un rêve indestructible - Tome 03
13.61 € -
Dewey Decimal Classification in Library Science
179.71 € -
Saint Gens
17.35 €
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Domain-theoretic Foundations Of Functional Programming
You get 112 loyalty points
Book synopsis
Provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. This book introduces basic domain theory and technique of logical relations as developed by Scott and Plotkin. It also introduces computability in Scott domains.
Book details
Book category Books in English Computing & information technology Computer programming / software development Functional programming
46 €
- Full title: Domain-theoretic Foundations Of Functional Programming
- Author: Thomas Streicher
- Language: English
- Binding: Hardback
- Number of pages: 132
- EAN: 9789812701428
- ISBN: 9789812701428
- ID: 06788222
- Publisher: World Scientific Publishing Co Pte Ltd
- Weight: 374 g
- Dimensions: 236 × 164 × 14 mm
- Date of publishing: 05. December 2006
Trending among others
-
Real World Haskell
48.53 € -
Functional Programming in Scala
57.91 € -9 % -
Domain Modeling Made Functional : Pragmatic Programmers
46.71 € -
Land Of Lisp
50.24 € -25 % -
Functional Reactive Programming
54.08 € -
Parallel and Concurrent Programming in Haskell
43.88 € -
Practical Common Lisp
75.47 € -9 % -
Functional Thinking
39.14 € -
Getting Clojure
43.99 € -19 % -
Little Elixir & OTP Guidebook
43.28 € -
SBT in Action:The simple Scala built tool
36.82 € -
Clojure Applied
35.71 € -20 % -
Hands-On Concurrency with Rust
47.11 € -1 % -
Thinking Functionally with Haskell
64.67 € -
Learn Functional Programming with Elixir
39.85 € -19 % -
Common Lisp Recipes
95.35 € -
Steps in Scala
67.50 € -
Erlang Programming
48.53 € -
Functional Approach to Programming
85.86 € -
GPU Programming in MATLAB
64.87 € -
Scala Functional Programming Patterns
53.47 € -1 % -
Taming Text How to Find,Organize and Manipulate It
48.93 € -
Pearls of Functional Algorithm Design
76.88 € -
Programming Clojure : Pragmatic Programmers
45.40 € -20 % -
Thinking Functionally with Haskell
147.62 € -
Haskell School of Expression
66.59 € -
Rust Programming By Example
47.11 € -1 % -
Clojure in Action
54.08 € -
Haskell Design Patterns
38.13 € -2 % -
Scala for Spark in Production
32.28 € -24 % -
Haskell School of Expression
129.45 € -
LISP Network, The
58.42 € -5 % -
Becoming Functional
21.69 € -24 % -
Hands-On Functional Programming in Rust
47.11 € -1 % -
Advanced Functional Programming
51.55 € -7 % -
Functional Programming, Glasgow 1990
55.69 € -
Clojure Programming
35.41 € -24 % -
Mastering Clojure Macros
17.45 € -
Functional Programming Using F#
116.54 € -
Trends in Functional Programming
41.26 € -7 % -
Functional Kotlin
53.47 € -1 % -
Guide to Fortran 2003 Programming
76.07 € -
Functional and Logic Programming
55.69 € -
Drawing Programs: The Theory and Practice of Schematic Functional Programming
50.44 € -9 % -
Mastering Clojure
53.47 € -1 % -
Professional Clojure
48.73 € -3 % -
Functional Python Programming
53.47 € -1 % -
Functional Programming Using F#
67.50 € -
Advanced Functional Programming
51.55 € -7 %
Shopping guide
Books by language
Collection points Bratislava a 12986 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25976 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)