Basic Simple Type Theory

Basic Simple Type Theory

Simple Type Theory - (Computer Science Foundations and Applied Logic) 2nd Edition by William M Farmer (Hardcover)

Programming Languages

Introduction to Functional Programming Systems Using Haskell

The Art of Prolog, second edition Advanced Programming Techniques

Advanced Topics in Types and Programming Languages (Paperback)

Computational Semantics with Functional Programming

Introduction to Programming Using Python, An

Java Foundations Introduction to Program Design and Data Structures

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Practical Foundations for Programming Languages

Foundations of Programming Languages

Concepts in Programming Languages

Practical Foundations for Programming Languages

Programming Languages: Theory and Practice (Hardcover)

Lecture Notes in Computer Science Simple Program Schemes and Formal Languages Book 20 (Paperback)

Introduction to Programming Languages: Principles, C, C++, Scheme And Prolog

Theories of Programming Languages

Students' Guide to Programming Languages

Handbook of Programming Languages (Hardcover)

Pre-Owned Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages (Paperback) 193435645X 9781934356456

Programming Language Fundamentals by Example

Transactions on Pattern Languages of Programming IV (Paperback)

Fundamentals of Programming Languages (Paperback)

Typescript Cookbook: Real World Type-Level Programming (Paperback)

Concepts of Programming Languages

Basic Category Theory for Computer Scientists - (Foundations of Computing) by Benjamin C Pierce (Paperback)

A Gentle Introduction to Computer Programming Fundamentals

Lecture Notes in Computer Science Generic Programming: International Seminar on Generic Programming Dagstuhl Castle Germany April 27 - May 1 1998 Sele Book 1766 (Paperback)

Lecture Notes in Computer Science Semantics: Foundations and Applications: Rex Workshop Beekbergen the Netherlands June 1-4 1992. Proceedings Book 666 (Paperback)

Essentials of Programming in Mathematica

Students' Guide to Programming Languages

An Introduction to Object-Oriented Programming (Paperback)

Object-oriented and Classical Software Engineering

Simple and Efficient Programming with C#

Certified Programming with Dependent Types A Pragmatic Introduction to

self taught programmer the definitive guide to programming professionally

Programming Language Concepts (Paperback)

Undergraduate Topics in Computer Science Programming Languages and Operational Semantics: A Concise Overview (Paperback)

Lecture Notes in Computer Science Formal Methods in Programming and Their Applications: International Conference Academgorodok Novosibirsk Russia June Book 735 (Paperback)

Programming Language Pragmatics

Programming Languages: Concepts and Implementation

Texts in Theoretical Computer Science. a Software Engineering 2: Specification of Systems and Languages (Hardcover)

Pre-Owned Introduction to Programming Languages: Programming in C C++ Scheme Prolog C# and Python 9781792407994 1792407998 Paperback 6 edition

Introduction to Programming Languages

Programming Languages and Systems: 18th Asian Symposium Aplas 2020 Fukuoka Japan November 30 - December 2 2020 Pro (Paperback)

An Introduction to Programming With C++

Lecture Notes in Computer Science Programming Languages and Systems - ESOP 94: 5th European Symposium on Programming Edinburgh U.K. April 11 - 13 199 Book 788 (Paperback)