Qualified Types

Theory and Practice

Inbunden, Engelska, 1994

Av Mark P. Jones

789 kr

Slutsåld
Functional programming; Haskell, Gofer; type theory.

Produktinformation

Mer från samma författare

Electoral Laws and the Survival of Presidential Democracies

Electoral Laws and the Survival of Presidential Democracies

Mark P. Jones

859 kr

Qualified Types

Qualified Types

Mark P. (University of Nottingham) Jones, Mark P. Jones

689 kr

Du kanske också är intresserad av

Three-Dimensional Integrated Circuit Layout

Three-Dimensional Integrated Circuit Layout

A. C. Harter, A. C. (University of Cambridge) Harter, Andrew Harter

739 kr

Axiomatic Domain Theory in Categories of Partial Maps

Axiomatic Domain Theory in Categories of Partial Maps

Marcelo P. (University of Edinburgh) Fiore, Marcelo P. Fiore

739 kr

Affine Analysis of Image Sequences

Affine Analysis of Image Sequences

Larry S. (University of Oxford) Shapiro, Larry S. Shapiro

689 kr

A Modular and Extensible Network Storage Architecture

A Modular and Extensible Network Storage Architecture

Sai Lai Lo, Sai-Lai Lo

1 979 kr

Logic Programming

Logic Programming

British Columbia) Andrews, James H. (Simon Fraser University, J. Andrews, James H. Andrews

689 kr

Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP

Jim (University of Oxford) Davies, Jim Davies

1 109 kr

A Compositional Approach to Performance Modelling

A Compositional Approach to Performance Modelling

Jane (University of Edinburgh) Hillston, Jane Hillston, Hillston Jane

739 kr

Efficient Algorithms for Listing Combinatorial Structures

Efficient Algorithms for Listing Combinatorial Structures

Peru) Goldberg, Leslie Ann (Sandia National Laboratories, Leslie Ann Goldberg

2 259 kr

Qualified Types

Qualified Types

Mark P. (University of Nottingham) Jones, Mark P. Jones

689 kr

Modelling Auditory Processing and Organisation

Modelling Auditory Processing and Organisation

Martin (University of Sheffield) Cooke, Martin Cooke

689 kr