Josef Kallrath
-
Book review:
Interfaces
The Design of the Zinc Modelling Language
Constraints
Automating mathematical program transformations
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages