Programming languages and applied logic

Introducing String Diagrams

The Art of Category Theory

Hinze, Ralf
Marsden, Dan
Published: August 2023

Joy with Java

Fundamentals of Object Oriented Programming

textbook

Samanta, Debasis
Sarma, Monalisa
Published: June 2023

Introduction to Choreographies

Montesi, Fabrizio
Published: May 2023

Handbook of Constructive Mathematics

Bridges, Douglas
Ishihara, Hajime
Rathjen, Michael
(+ 1 other)
Published: May 2023

200 Problems on Languages, Automata, and Computation

Murlak, Filip
Niwiński, Damian
Rytter, Wojciech
Published: April 2023Published: April 2023

Software Engineering

Basic Principles and Best Practices

textbook

Sethi, Ravi
Published: December 2022

Mathematical Logic and Computation

Avigad, Jeremy
Published: November 2022

Programming Languages

Build, Prove, and Compare

Ramsey, Norman
Published: October 2022Published: November 2022

Real World OCaml: Functional Programming for the Masses

Madhavapeddy, Anil
Minsky, Yaron
Published: October 2022
2nd Edition

Mathematical Logic through Python

Gonczarowski, Yannai A.
Nisan, Noam
Published: September 2022Published: September 2022

The Dialogical Roots of Deduction

Historical, Cognitive, and Philosophical Perspectives on Reasoning

Dutilh Novaes, Catarina
Published: August 2022Published: December 2020

Programming in Ada 2012 with a Preview of Ada 2022

Barnes, John
Published: May 2022
2nd Edition

Essentials of Software Testing

textbook

Bierig, Ralf
Brown, Stephen
Galván, Edgar
(+ 1 other)
Published: November 2021

Model Checking Quantum Systems

Principles and Algorithms

Ying, Mingsheng
Feng, Yuan
Published: April 2021Published: January 2021

Foundations of Probabilistic Programming

Barthe, Gilles
Katoen, Joost-Pieter
Silva, Alexandra
Published: January 2021

Algorithm Design with Haskell

Bird, Richard
Gibbons, Jeremy
Published: August 2020

Python for Linguists

Hammond, Michael
Published: June 2020Published: June 2020

Finite-State Techniques

Automata, Transducers and Bimachines

Mihov, Stoyan
Schulz, Klaus U.
Published: September 2019Published: July 2019

An Invitation to Applied Category Theory

Seven Sketches in Compositionality

Fong, Brendan
Spivak, David I.
Published: August 2019Published: July 2019Published: July 2019

The Haskell School of Music

From Signals to Symphonies

Hudak, Paul
Quick, Donya
Published: October 2018Published: September 2018