Programming languages and applied logic

Modal Logic

Blackburn, Patrick
Rijke, Maarten de
Venema, Yde
Published: August 2002Published: No date available

Specifying Software

A Hands-On Introduction

textbook

Tennent, R. D.
Published: April 2002Published: April 2002

Mastering ENVY/Developer

Pelrine, Joseph
Knight, Alan
Cho, Adrian
Published: May 2001Published: March 2011

The Road to the Unified Software Development Process

Jacobson, Ivar
Bylund, Stefan
Published: September 2000

Fundamentals of OOP and Data Structures in Java

textbook

Wiener, Richard
Pinson, Lewis J.
Published: August 2000

(1 reviews)

Basic Proof Theory

Troelstra, A. S.
Schwichtenberg, H.
Published: July 2000Published: No date available
2nd Edition

Derivation and Computation

Taking the Curry-Howard Correspondence Seriously

Simmons, H.
Published: May 2000

The Haskell School of Expression

Learning Functional Programming through Multimedia

Hudak, Paul
Published: April 2000Published: April 2000Published: August 2013

e-Enterprise

Business Models, Architecture, and Components

Hoque, Faisal
Published: March 2000Published: April 2011

More Java Gems

Deugo, Dwight
Published: April 2011

More C++ Gems

Martin, Robert C.
Published: February 2000

Purely Functional Data Structures

Okasaki, Chris
Published: September 1999Published: June 1998Published: March 2011

Term Rewriting and All That

Baader, Franz
Nipkow, Tobias
Published: August 1999

Practical Foundations of Mathematics

Taylor, Paul
Published: May 1999

The Optimal Implementation of Functional Programming Languages

Asperti, Andrea
Guerrini, Stefano
Published: December 1998

The Functional Approach to Programming

textbook

Cousineau, Guy
Mauny, Michel
Callaway, K.
Published: October 1998Published: July 2013

Algorithmic Geometry

textbook

Boissonnat, Jean-Daniel
Yvinec, Mariette
Bronniman, Herve
Published: March 1998

C++ Gems

Programming Pearls from The C++ Report

Lippman, Stanley B.
Published: February 1998

Object-Oriented COBOL

Arranga, Edmund C.
Coyle, Frank P.
Published: February 1998

Higher Order Operational Techniques in Semantics

Gordon, Andrew D.
Pitts, Andrew M.
Published: January 1998