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: Domain-Specific Languages, Author: Martin Fowler
Title: Programming Languages: Theory and Practice, Author: Katy Spalding
Title: The SuperCollider Book, second edition, Author: Scott Wilson
Title: Introduction to Programming with Fortran, Author: Ian Chivers
Title: Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors, Author: Jirí Adámek
Title: Languages for Developing User Interfaces, Author: Brad A. Myers
Title: Introduction to R for Terrestrial Ecology: Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R, Author: Milena Lakicevic
Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data, Author: Jean-Francois Collard
Title: Revised [6] Report on the Algorithmic Language Scheme, Author: Michael Sperber
Title: Programming Language Design and Implementation, Author: Torben Ægidius Mogensen
Title: Learn R: As a Language, Author: Pedro J. Aphalo
Title: Concepts of Programming Languages, Author: Gracie Mckenzie
Title: Session Types, Author: Simon J. Gay
Title: Mathematical Logic through Python, Author: Yannai A. Gonczarowski
Title: Graphical Programming Using LabVIEWT: Fundamentals and advanced techniques, Author: Julio C sar Rodr guez-Qui onez
Title: Handbook of Programming Languages, Author: Samuel Green

Pagination Links