Publication

On the design of programming languages including mini Algol 68 Tech Report

L. Ammeraal

The organization of the object code generator in Algol 68 H : (prepublication) Tech Report

H.J. Boom

Mini Algol 68 user's guide Tech Report

L. Ammeraal

An implementation of an Algol 68 sublanguage : (prepublication) Tech Report

L. Ammeraal

Fixed point semantics and Dijkstra's fundamental invariance theorem Tech Report

J.W. de Bakker (Jaco)

Call-by-value versus call-by-name: a proof-theoretic comparison : (prepublication) Tech Report

W.P. de Roever

Deterministically recognizing EOL-languages in time $0(n^{3.81} )$ Tech Report

J. van Leeuwen (Jan)

Infal, an informatics library Tech Report