- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826521393
3826521390
- Dimensions
-
21 cm
- Extent
-
XVII, 305 S.
- Edition
-
Als Ms. gedr.
- Language
-
Englisch
- Notes
-
Zugl.: Ulm, Univ., Diss., 1996
- Keyword
-
Funktionale Programmiersprache
Kategorientheorie
Lambda-Kalkül
Monade
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:36 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Tuijnman, Daniel
- Shaker
Time of origin
- 1997
Other Objects (12)
Testing in functional programming
Categorical combinators, sequential algorithms, and functional programming
The retirement decision in Germany : a dynamic programming approach
Shared memory programming on NUMA based clusters using a general and open hybrid hardware software approach
Analysis and control of infinite dimensional systems : a geometric and functional analytic approach
Quantified linear programming
Two-stage programming : compilation and case studies
A categorical approach to algebraic language theory
On semidefinite programming and applications in combinatorial optimization
Aufwandsschätzung bei Projekten nach dem EXtreme-Programming-Paradigma
Quadratic programming : complexity issues in real number models
Railway Oriented Programming: A functional approach to error handling
Testing in functional programming
Categorical combinators, sequential algorithms, and functional programming
The retirement decision in Germany : a dynamic programming approach
Shared memory programming on NUMA based clusters using a general and open hybrid hardware software approach
Analysis and control of infinite dimensional systems : a geometric and functional analytic approach
Quantified linear programming
Two-stage programming : compilation and case studies
A categorical approach to algebraic language theory
On semidefinite programming and applications in combinatorial optimization
Aufwandsschätzung bei Projekten nach dem EXtreme-Programming-Paradigma
Quadratic programming : complexity issues in real number models
Railway Oriented Programming: A functional approach to error handling
Testing in functional programming
Categorical combinators, sequential algorithms, and functional programming
The retirement decision in Germany : a dynamic programming approach
Shared memory programming on NUMA based clusters using a general and open hybrid hardware software approach
Analysis and control of infinite dimensional systems : a geometric and functional analytic approach
Quantified linear programming
Two-stage programming : compilation and case studies
A categorical approach to algebraic language theory
On semidefinite programming and applications in combinatorial optimization
Aufwandsschätzung bei Projekten nach dem EXtreme-Programming-Paradigma
Quadratic programming : complexity issues in real number models