>
Constraint Handling Rules
Constraint Logic Programming using Eclipse
ECOOP'89: Proceedings of the 1989 European Conference on Object-Oriented Programming (British Computer Society Workshop Series)
Foundations of Component-Based Systems
Functional Programming Using F#
Lambda-Calculus and Combinators: An Introduction
Lectures in Game Theory for Computer Scientists
Logic in Computer Science: Modelling and Reasoning about Systems
Modeling in Event-B: System and Software Engineering
Modern Compiler Implement in ML
Modern Compiler Implementation in Java
Practical Foundations for Programming Languages
Programming in Haskell
Python for Software Design: How to Think Like a Computer Scientist
Steps in Scala: An Introduction to Object-Functional Programming