Title: Practical Foundations for Programming Languages, Author: Robert Harper
Title: Programming Languages: Theory and Practice, Author: Katy Spalding
Title: Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors, Author: Jirí Adámek
Title: Programming Languages: Build, Prove, and Compare, Author: Norman Ramsey
Title: Domain-Specific Languages, Author: Martin Fowler
Title: Answer Set Programming, Author: Vladimir Lifschitz
Title: Introduction to Choreographies, Author: Fabrizio Montesi
Title: Concepts of Programming Languages, Author: Gracie Mckenzie
Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data, Author: Jean-Francois Collard
Title: Modeling Languages in Mathematical Optimization, Author: Josef Kallrath
Title: Proof Theory and Logic Programming: Computation as Proof Search, Author: Dale Miller
Title: Foundations of Probabilistic Programming, Author: Gilles Barthe
Title: Modelling Systems: Practical Tools and Techniques in Software Development, Author: John Fitzgerald
Title: Fundamentals of Programming Languages, Author: Chris Chancellor
Title: 200 Problems on Languages, Automata, and Computation, Author: Filip Murlak
Title: Languages for Digital Embedded Systems, Author: Stephen A. Edwards
Title: Learn R: As a Language, Author: Pedro J. Aphalo
Title: Mathematical Logic through Python, Author: Yannai A. Gonczarowski
Title: Revised [6] Report on the Algorithmic Language Scheme, Author: Michael Sperber
Title: MATLAB for Engineering Applications, Author: Natalie Coffman

Pagination Links