Types and programming languages /

QR Code

Types and programming languages /

Bibliographic Details
Main Author:	Pierce, Benjamin C.
Format:	Book
Language:	English
Published:	Cambridge, Massachusetts : MIT Press, 2002.
Subjects:	Lenguajes de programación Ingeniería en computadores Computación Polimorfismo Informática Aritmética Cálculo Libros electrónicos

Similar Items

Advanced topics in types and programming languages /
Published: (2005)

An Introduction to Functional Programming Through Lambda Calculus. /
by: Michaelson, Greg
Published: (2011)

Programming Language Design Concepts. /
by: Watt, David A.
Published: (2004)

Guide to Assembly Language Programming in Linux. /
by: Dandamudi, Sivarama P.
Published: (2005)

Programming Language Pragmatics. /
by: Scott, Michael Lee
Published: (2009)

The secret life of programs : understand computers - craft better code /
by: Steinhart, Jonathan E.
Published: (2019)

Computer programming using C language /
by: Ramavtar Yadav, Rajkumar
Published: (2020)

The ruby programming language. /
by: Berman, Jules J.
Published: (2009)

IEEE Design and Test of Computers.

Programming and problem solving with C++ /
by: Dale, Nell
Published: (2010)

Thinking in Java /
by: Eckel, Bruce
Published: (2006)

El Lenguaje de programacion C /
by: Kernighan, Brian W.
Published: (1989)

The art of computer programming : seminumerical algorithms. Volume 2 /
by: Knuth, Donald E.
Published: (1998)

Digital design and fabrication /
Published: (2008)

Foundations of statistical natural language processing /
by: Manning, Christopher D.
Published: (1999)

Introduction to programming using Python /
by: Liang, Y. Daniel
Published: (2017)

Cómo programar Java. /
by: Deitel, Paul
Published: (2016)

The turing omnibus 61 excursions in computer science /
by: Dewdney, A. K.
Published: (1989)

How to design programs : an introduction to programming and computing /
Published: (2018)

An introduction to Lambda Calculi for computer scientists. Volume 2 /
by: Hankin, Chris
Published: (2004)

Programming languages : principles and paradigms /
by: Tucker, Allen
Published: (2006)

Programming python /
by: Lutz, Mark
Published: (2011)

Serverless programming cookbook : practical solutions to building serverless applications using Java and AWS /
by: Kanikathottu, Heartin
Published: (2019)

Lenguaje de programación : diseño e implementación /
by: Pratt, Terrence W.
Published: (1997)

Kablok : diseño e implementación de un lenguaje aplicativo con variables libres, no determinismo y unificación /
by: Díaz-Oreiro, Ignacio
Published: (1995)

Java how to program : early objects /
by: Deitel, Paul
Published: (2018)

C++ Guía de autoenseñanza /
by: Schilt, Herbert
Published: (1995)

Programming : principles and Practice Using C++ /
by: Stroustrup, Bjarne
Published: (2014)

An outline of mathematical logic : fundamental results and notions explained with all details /
by: Grzegorczyk, Andrzej.
Published: (1974)

Beginning Microsoft® SQL Server 2012® Programming /
by: Atkinson P.
Published: (2012)

Metodología de la programación orientada a objetos /
by: López Román, Leobardo
Published: (2013)

Prácticas de laboratorio con tu PC en "bloques" /
by: García-Burciaga-de-Cepeda, Margarita
Published: (1998)

Python programming : an introduction to computer science /
by: Zelle, John M.
Published: (2010)

Program construction : calculating implementations from specifications. /
by: Backhouse, Roland
Published: (2003)

Sistemas operativos modernos /
by: Tanenbaum, Andrew S.
Published: (2009)

C++ data structures : a laboratory course /
by: Brandle, Stefan
Published: (2009)

Sistemas secuenciales programables /
by: Espinosa-Malea, José Manuel
Published: (2022)

The universal history of computing : from the abacus to the quantum computer /
by: Ifrah, Georges.
Published: (2001)

Cracking C programming interview : 500+ interview questions and explanations to sharpen your C concepts for a lucrative programming career /
by: Jhamb, Tanuj Kumar
Published: (2022)

Augmented Cognition. Enhancing cognition and behavior in complex human environments. Part II : proceedings /
Published: (2017)