CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
September 1976
-
Call-by-value versus call-by-name: a proof-theoretic comparison : prepublication [Second print.] Tech Report
September 1976
-
An analysis of the convergence of newton-like methods for solving systems of nonlinear equations Tech Report
October 1976
-
A space-saving technique for assigning algol 68 multiple values Article
Information Processing Letters, 5(4), 97-99.October 1976
-
October 1976 -
January 1977 -
January 1977 -
January 1977