Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42) - Tapa blanda

Hindley, J. Roger

9780521054225: Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Tapa blanda

ISBN 10: 0521054222 ISBN 13: 9780521054225

Editorial: Cambridge University Press, 2008

Ver todas las copias de esta edici�n del ISBN

3 Usado

De EUR 40,44

16 Nuevo

De EUR 47,27

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system. Also featured are two other interesting algorithms that have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making the book at a level which can be used as an introduction to type theory for computer scientists.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teor�a y cr�tica del dise�o y han escrito m�s de sesenta libros sobre la materia, muchos de los cuales se han convertido en �xitos de ventas. Tambi�n han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Dise�o del siglo XX, El dise�o industrial de la A a la Z, Scandinavian Design y Dise�o del siglo XXI.

De la contraportada

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail.The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system.The mathematical presentation is rigorous but clear, making it the first book at this level which can be used as an introduction to type theory for computer scientists.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Editorial: Cambridge University Press
A�o de publicaci�n: 2008
Idioma: Ingl�s
ISBN 10: 0521054222
ISBN 13: 9780521054225
Encuadernaci�n: Tapa blanda
N�mero de edici�n: 1
N�mero de p�ginas: 200
Contacto del fabricante: no disponible
Persona responsable: Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia

Comprar usado

Condici�n: Bueno

Connecting readers with great books...

Ver este art�culo

EUR 40,44

Convertir moneda

EUR 3,02 gastos de env�o en Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 47,27

Convertir moneda

EUR 3,45 gastos de env�o en Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Otras ediciones populares con el mismo t�tulo

9780521465182: Basic Simple Type Theory Hardback: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Edici�n Destacada

ISBN 10: 0521465184 ISBN 13: 9780521465182
Editorial: Cambridge University Press, 1997
Tapa dura

Resultados de la b�squeda para Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretica...

Imagen de archivo

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Hindley, J. Roger

Publicado por Cambridge University Press, 2008

ISBN 10: 0521054222 ISBN 13: 9780521054225

Antiguo o usado paperback

Librería: Half Price Books Inc., Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

paperback. Condici�n: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! N� de ref. del art�culo: S_450102703

Contactar al vendedor

Comprar usado

EUR 40,44

Convertir moneda

Gastos de env�o: EUR 3,02

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Hindley, J. Roger

Publicado por Cambridge University Press, 2008

ISBN 10: 0521054222 ISBN 13: 9780521054225

Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: ABLIING23Feb2215580240841

Contactar al vendedor

Comprar nuevo

EUR 47,27

Convertir moneda

Gastos de env�o: EUR 3,45

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Basic Simple Type Theory

Hindley, J. Roger

Publicado por Cambridge University Press, 2008

ISBN 10: 0521054222 ISBN 13: 9780521054225

Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: 5493617-n

Contactar al vendedor

Comprar nuevo

EUR 48,45

Convertir moneda

Gastos de env�o: EUR 2,28

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Basic Simple Type Theory (Paperback or Softback)

Hindley, J. Roger

Publicado por Cambridge University Press 2/1/2008, 2008

ISBN 10: 0521054222 ISBN 13: 9780521054225

Nuevo Paperback or Softback

Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America

Calificaci�n del vendedor: 4 de 5 estrellas

Paperback or Softback. Condici�n: New. Basic Simple Type Theory. Book. N� de ref. del art�culo: BBS-9780521054225

Contactar al vendedor

Comprar nuevo

EUR 50,81

Convertir moneda

Gastos de env�o: GRATIS

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 5 disponibles

A�adir al carrito

Imagen del vendedor

Basic Simple Type Theory

Hindley, J. Roger

Publicado por Cambridge University Press, 2008

ISBN 10: 0521054222 ISBN 13: 9780521054225

Antiguo o usado Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: As New. Unread book in perfect condition. N� de ref. del art�culo: 5493617

Contactar al vendedor

Comprar usado

EUR 53,48

Convertir moneda

Gastos de env�o: EUR 2,28

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Basic Simple Type Theory (Paperback)

J. Roger Hindley

Publicado por Cambridge University Press, Cambridge, 2008

ISBN 10: 0521054222 ISBN 13: 9780521054225

Nuevo Paperback Original o primera edici�n

Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: new. Paperback. Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm that lies at the heart of every such system. Also featured are two other interesting algorithms that until now have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making it the first book at this level that can be used as an introduction to type theory for computer scientists. Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail.The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system.The mathematical presentation is rigorous but clear, making it the first book at this level which can be used as an introduction to type theory for computer scientists. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de ref. del art�culo: 9780521054225

Contactar al vendedor

Comprar nuevo

EUR 58,78

Convertir moneda

Gastos de env�o: GRATIS

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Basic Simple Type Theory

J. Roger Hindley

Publicado por Cambridge University Press, 2008

ISBN 10: 0521054222 ISBN 13: 9780521054225

Nuevo Paperback / softback

Impresi�n bajo demanda

Librería: THE SAINT BOOKSTORE, Southport, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback / softback. Condici�n: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 342. N� de ref. del art�culo: C9780521054225

Contactar al vendedor