45th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

An Introduction to Description Logic

Baader, Franz
Horrocks, Ian
Lutz, Carsten
(+ 1 other)
Published: April 2017

Introduction to Parallel Computing

Czech, Zbigniew J.
Published: January 2017

Introduction to Software Testing

Ammann, Paul
Offutt, Jeff
Published: December 2016
2nd Edition

Introduction to Coalgebra

Towards Mathematics of States and Observation

Jacobs, Bart
Published: October 2016

Temporal Logics in Computer Science

Finite-State Systems

Demri, Stéphane
Goranko, Valentin
Lange, Martin
Published: October 2016

Compact Data Structures

A Practical Approach

Navarro, Gonzalo
Published: September 2016

Programming in Haskell

Hutton, Graham
Published: September 2016
2nd Edition

Prime Numbers and the Riemann Hypothesis

Mazur, Barry
Stein, William
Published: June 2016

Practical Foundations for Programming Languages

Harper, Robert
Published: April 2016
2nd Edition

Logic and Algebraic Structures in Quantum Computing

Chubb, Jennifer
Eskandarian, Ali
Harizanov, Valentina
Published: March 2016

Introduction to Random Graphs

Frieze, Alan
Karoński, Michał
Published: October 2015

Analytic Pattern Matching

From DNA to Twitter

Jacquet, Philippe
Szpankowski, Wojciech
Published: July 2015

Computation, Proof, Machine

Mathematics Enters a New Age

Dowek, Gilles
Guillot, Pierre
Roman, Marion
Published: May 2015

Type Theory and Formal Proof

An Introduction

Nederpelt, Rob
Geuvers, Herman
Published: November 2014

Thinking Functionally with Haskell

Bird, Richard
Published: October 2014

Nominal Sets

Names and Symmetry in Computer Science

Pitts, Andrew M.
Published: May 2013

Pearls of Functional Algorithm Design

Bird, Richard
Published: September 2010