Advanced Topics in Types and Programming Languages
απο τον Benjamin C. Pierce- Πρωτοδημοσιεύτηκε
- 2004
- Εκδότες
- MIT Press
- Υποκείμενα
- Programming languages
If you want to get into the dependently typed camp and understand its power then you need this book to help you on the path.
This book, like its predecessor, TAPL, is a mandatory text for anyone doing research in programming languages. The chapters are each written by key researchers associated with the topics presented.
Hmmm, prices on this one have come way down! programming language theory people must be dying off.
Βιβλία
Ja'far Al-Sadiq
Matthew Pierce
Medical Anthropology, A Biological Perspective
Benjamin C. Campbell
Theophrastan Character in England To 1642
Benjamin Boyce
1960 Lunch Counter Sit-Ins
Benjamin Houston
Interpreting Child Sacrifice Narratives
Benjamin Beit-Hallahmi
You Should Go to a Time Share Presentation
Benjamin Wann
Sky Vault the Comet Cycle Book 3
Benjamin Percy
History of the English Philanthropy
Benjamin Kirkman Gray
Cyprus, the Franks and Venice, 13th-16th Centuries
Benjamin Arbel
Cyprus, the Franks and Venice, 13th¿16th Centuries
Benjamin Arbel
Encyclopedia of Human Nutrition
Benjamin Caballero
Everyone in My Family Has Killed Someone
Benjamin Stevenson
Heather Finch
Jenny Benjamin
Thomas Edison and the Light Bulb
Benjamin Proudfit
Unfamiliar Garden
Benjamin Percy
Routledge Handbook of Differentiation in the European Union
Benjamin Leruth
Maltusheblan Gambit
Benjamin Wilson
Krypto Daytrading für Einsteiger
Benjamin Rubin
Medical Genetics and Genomics
Benjamin D. Solomon
LAYER
Benjamin Hubert
Dope - the Real History of the Mexican Drug Trade
Benjamin T. Smith
The Made-Up State
Benjamin Hegarty
Album Da Disegno Anime
Benjamin BENJAMIN
Handbook for Laboratory Safety
Benjamin R. Sveinbjornsson
Mitdasein und Kulturelle Sinnkonstitution
Benjamin Stuck
Figure of the Witness in International Criminal Tribunals
Benjamin Thorne
Linked
Penny Benjamin
Be Your Future Self Now
Benjamin Hardy
King's Signet Ring
Chuck D. Pierce
War of the Worlds Unicorns vs. Mermaids
Benjamin Harper
We Wish You a Merry Christmas
Floella Benjamin
Pauline Corpus in Early Christianity
Benjamin Laird
The Brain in Search of Itself
Benjamin Ehrlich
Obsession, Aesthetics, and the Iberian City
Benjamin Fraser
Prehistoric Journey to the Center of the Earth
Benjamin Harper
Teaching Abroad During Initial Teacher Education
Benjamin Luke Moorhouse
Unfamiliar Garden
Benjamin Percy
From the Manger to the Throne
Benjamin L. Gladd
The Abide Guide
Benjamin Oliver
DEVOTIONS and WRITINGS INSPIRED by the MEMORY of MY PRECIOUS WIFE
Joesph and Norma Pierce
Traite de L'habitat
Benjamin Van Blancke
Fukasawa Deviations
Benjamin Wilkins
Disaster and Human History
Benjamin Reilly
Running Wild Anthology of Stories
Benjamin B. White
Kosmos
Don Pierce
Routledge Companion to Environmental Ethics
Benjamin Hale
Unfamiliar Garden
Benjamin Percy
Grace Hopper and the Computer
Benjamin Proudfit
The Unfamiliar Garden
Benjamin Percy
Ninth Metal
Benjamin Percy
Yeats Revisited
David Pierce
Making of the Global Yijing in the Modern World
Benjamin Wai-ming Ng
Obsession, Aesthetics, and the Iberian City
Benjamin Fraser
Figure of the Witness in International Criminal Tribunals
Benjamin Thorne
Digital Storytelling
Brett Pierce
X Lives and Deaths of Wolverine
Benjamin Percy
Ecos
Don Pierce
Genese Einer Religion
Benjamin Simon
Παρόμοια βιβλία
Building Scalable Applications with Erlang
Jerry Jackson
Formal Methods for Distributed Processing
Howard Bowman
IOS 15 Programming Fundamentals with Swift
Matt Neuburg
Coding for Kids for Dummies
Camille McCue
Crack the Code!
Sarah Hutt
Artificial Intelligence for Games
Ian Millington
Code Your Own Jungle Adventure
Max Wainewright
Cool Coding
Rob Hansen
How to Code 2. 0
Elizabeth Tweedale
Genetic Programming
Malcolm Heywood
Building High Integrity Applications with SPARK
John W. McCormick
Student Exercises for Swift for Programmers
Paul J. Deitel
Data Modeling and Database Design
Narayan S. Umanath
Euro-Par 2012: Parallel Processing Workshops
Ioannis Caragiannis
Discrete Event Systems in Dioid Algebra and Conventional Algebra
Philippe Declerck
Raspberry Pi Hardware Projects 2
Andrew Robinson
Parallel and Concurrent Programming in Haskell
Simon Marlow
Introduction to C++ for Financial Engineers
Daniel J. Duffy
Programming Graphical User Interfaces in R
Michael Lawrence
Professional Papervision3D
Michael Lively
Computer Graphics Through OpenGL
Sumanta Guha
Amazon web services made simple
Donald Robinson
Hybrid Metaheuristics
Francisco Almeida
Java Essentials for Object Oriented Problem Solving
Ralph Morelli
Scripts sous Linux
Christophe Blaess
Web Programming Made Simple
Greg Cook
Object-Oriented Reengineering Patterns
Serge Demeyer
The philosophical programmer
Daniel Kohanski
Linear programming, an introduction
W. Allen Spivey