Qualified Types

Theory and Practice

Häftad, Engelska, 2003

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

689 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading, concentrating in particular on the implementation of overloading in Haskell and Gofer.

Produktinformation

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

Qualified Types

Qualified Types

Mark P. Jones

789 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

Electoral Laws and the Survival of Presidential Democracies

Electoral Laws and the Survival of Presidential Democracies

Mark P. Jones

859 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

Tillhör följande kategorier