Publication
-
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 -
January 1982