Progress in Theoretical Computer Science

By: Giuseppe Castagna

Write A Review

Hardcover | 1 January 1997

At a Glance

Hardcover
388 Pages

Dimensions(cm)
24.77 x 17.15 x 2.54

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades. Overloading, on the other hand, has often been considered too ad hoc to deserve much attention even though it has been, in some form, an ingredient of virtually every programming lan guage (much more so than parametric polymorphism). With the introduction of object-oriented languages, and in particular with multiple-dispatch object-oriented languages, overloading has become less of a programming convenience and more of a fundamental feature in need of proper explanation. This book provides a compelling framework for the study of run-time over loading and of its interactions with subtyping and with parametric polymorphism. The book also describes applications to object-oriented programming. This new framework is motivated by the relatively recent spread of programming languages that are entirely based on run-time overloading; this fact probably explains why this subject was not investigated earlier. Once properly understood, overloading reveals itself relevant also to the study of older and more conventional (single dispatch) object-oriented languages, clarifying delicate issues of covariance and contravariance of method types, and of run-time type analysis. In the final chapters, a synthesis is made between parametric and overloading polymorphism.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Object-Oriented Programming or OOP Computer Science Programming & Scripting Languages Compilers & Interpreters

Foreword
Presentation of the book
Background and notation	p. 3
A quick overview	p. 35
Object-oriented programming	p. 79
The [lambda]and-calculus	p. 113
Covariance and contravariance: conflict without a cause	p. 153
Strong Normalization	p. 167
Three variations on the theme	p. 177
Interpretation of object-oriented languages	p. 193
Imperative features and other widgets	p. 221
Semantics	p. 235
Introduction to part III	p. 261
Second order overloading	p. 275
Second order overloading and object-oriented programming	p. 313
Conclusion	p. 323
Specification of KOOL	p. 331
Formal definition of the translation	p. 335
Bibliography	p. 345
Index	p. 358
Table of Contents provided by Blackwell. All Rights Reserved.

Progress in Theoretical Computer Science

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

C# Programming in easy steps

Master C# fundamentals!

Applied Mathematics with F#

Java in Two Semesters

Featuring JavaFX

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Flex & Bison [With Access Code]

O'Reilly Ser.

Graph Transformation

19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1-2, 2026, Proceedings

Pragmatic Programmers

Pragmatic Programmers

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Pro Spring Boot 4

An Authoritative Guide with Best Practices

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Rigorous State-Based Methods

12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings

Practical Usage of TSO REXX

Technology in Action Series

Technology in Action Series

Foundation of Software Science and Computation Structures

Third International Conference, FOSSACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25-April 2, 2000, Proceedings

This product is categorised by