Search Results - "Programming Languages."

A programming language. by Iverson, Kenneth E.

Semantics of programming languages and model theory

Transitions and trees an introduction to structural operational semantics by Huttel, Hans

Table of contents only

Semantics with applications an appetizer by Nielson, Hanne Riis 1954-

Algorithms a functional programming approach by Rabhi, Fethi

Computer talk for the liberal arts. by Bar-Lev, Zev

Introduction to computer fundamentals & information technology by Pepito, Copernicus P.

PLDI'15 proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation : June 13-17, 2015, Portland, OR, USA

DLS'14 proceedings of the 10th Symposium on Dynamic Languages : October 20-24, 2014, Portland, Oregon, USA

Type theory and formal proof an introduction by Nederpelt, Rob, Geuvers, Herman