Title: Types and Programming Languages, Author: Benjamin C. Pierce
Title: Programming Languages: Build, Prove, and Compare, Author: Norman Ramsey
Title: Proof Theory and Logic Programming: Computation as Proof Search, Author: Dale Miller
Title: Practical Foundations for Programming Languages, Author: Robert Harper
Title: Answer Set Programming, Author: Vladimir Lifschitz
Title: Domain-Specific Languages, Author: Martin Fowler
Title: Introduction to Choreographies, Author: Fabrizio Montesi
Title: SAP Build: No-Code Development, Centralized Access, and Process Automation, Author: Rene Glavanovits
Title: Introduction to Programming with Fortran, Author: Ian Chivers
Title: The SuperCollider Book, second edition, Author: Scott Wilson
Title: Mathematical Logic through Python, Author: Yannai A. Gonczarowski
Title: A Guide To Programming Languages, Author: Ruknet Cezzar
Title: Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors, Author: Jirí Adámek
Title: Programming with Python: And Its Applications to Physical Systems, Author: M. Shubhakanta Singh
Title: Computer Programming in C for Beginners, Author: Avelino J. Gonzalez
Title: Fundamentals of Programming Languages, Author: Chris Chancellor
Title: Modelling Systems: Practical Tools and Techniques in Software Development, Author: John Fitzgerald
Title: Concepts of Programming Languages, Author: Gracie Mckenzie
Title: Essential MATLAB for Engineers, Author: Natalie Coffman
Title: Call-By-Push-Value: A Functional/Imperative Synthesis, Author: P.B. Levy

Pagination Links