Advanced Topics in Types and Programming Languages
A

Advanced Topics in Types and Programming Languages

Assembler
type theory programming languages dependent types substructural types type inference proof-carrying code modular systems
Author
Benjamin C. Pierce (editor)
Publisher
The MIT Press
Year
2005
Language
English
109
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Advanced Data Structures and Algorithms

Advanced Data Structures and Algorithms

Abirami A, Priya R L

The C++ Programming Language

The C++ Programming Language

Bjarne Stroustrup

Computer Systems: A Programmer's Perspective, Third Global Edition

Computer Systems: A Programmer's Perspective, Third Global Edition

Randal E. Bryant, David R. O'Hallaron

The C++ Programming Language, Fourth Edition

The C++ Programming Language, Fourth Edition

Bjarne Stroustrup

Programming Languages: Concepts and Implementation

Programming Languages: Concepts and Implementation

Saverio Perugini

Effective C, 2nd Edition: An Introduction to Professional C Programming

Effective C, 2nd Edition: An Introduction to Professional C Programming

Robert C. Seacord

A Complete Guide to Programming in C++

A Complete Guide to Programming in C++

Ulla Kirch-Prinz, Peter Prinz

C# Programming: Value Types and Reference Types

C# Programming: Value Types and Reference Types

Mark J. Price

The C Programming Language, Second Edition

The C Programming Language, Second Edition

Brian W. Kernighan, Dennis M. Ritchie

Advanced Perl Programming

Advanced Perl Programming

Simon Cozens