The Haskell Road to Logic, Maths and Programming, Second Edition Book

H.C. Doets (Kees) and D.J.N. van Eijck (Jan)

TyMoRe - modular type based refactoring Software

A. Izmaylova (Anastasia) and J.J. Vinju (Jurgen)

The Grammar Hammer of 2012 Tech Report

V. Zaytsev (Vadim)

Violating the Shannon capacity of metric graphs with entanglement Article

J. Briët (Jop), H.M. Buhrman (Harry) and D. Gijswijt (Dion)

Decision Support System for the Operating Room Scheduling Problem Article

J.T. van Essen (Theresia), J.L. Hurink (Johann), W. Hartholt and B.J. van den Akker

Proceedings of the Fifth Workshop on Information Theoretic Methods in Science and Engineering Proceedings

Approximation algorithms for nonbinary agreement forests Tech Report

L.J.J. van Iersel (Leo), S.M. Kelk (Steven), N. Lekic (Nela) and L. Stougie (Leen)

Recursive Programming: A Clarification Tech Report

G. M. C. J. T. G. van den Hove d'Ertsenryck (Gauthier)