Publication
-
From VW-grammar to ALEPH Book Chapter
October 1981 -
December 1981 -
A library of multigrid routines: ALGOL 68 Tech Report
January 1982 -
January 1982 -
January 1982 -
Incremental polymorphic type checking in B Tech Report
January 1982 -
The GKS input facilities and how to use them Tech Report
January 1982 -
An optimal simulation of counter machines Tech Report
January 1982