Expressing Mathematical Subroutines Constructively (1987)

Cached

Download Links

by Gerald L. Roylance
Citations:4 - 0 self

Documents Related by Co-Citation

773 Structure and Interpretation of Computer Programs – H Abelson, G J Sussman, J Sussman - 1985
2196 Numerical Recipes in C. The Art of Scientific Computation – W H Press, S A Teukolsky, W T Vetterling, B P Flannery - 1994
759 Algebra and its Applications – Gilbert Strang, Linear - 1980
677 Mathematica: A System for Doing Mathematics by Computer – S Wolfram - 1988
859 Numerical Recipes in C – W H AND TEUKOLSKY PRESS, S A - 1992
496 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – J E Stoy - 1977
751 Atom: A system for building customized program analysis tools – Amitabh Srivastava, Alan Eustace - 1994
634 Compiling with Continuations – A Appel - 1992
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990