Publication
-
Call-by-value versus call-by-name: a proof-theoretic comparison : prepublication [Second print.] Tech Report
September 1976
-
September 1976
-
A space-saving technique for assigning algol 68 multiple values Article
Information Processing Letters, 5(4), 97-99.October 1976
-
An analysis of the convergence of newton-like methods for solving systems of nonlinear equations Tech Report
October 1976
-
October 1976 -
HIDACSYS: Computer Programs for Interactive Scanning Cytophotometry Article
Histochemistry, 54(4), 273-288.January 1977
-
Simulation of a montague grammar : (preprint) Tech Report
January 1977 -
January 1977