Expressing Mathematical Subroutines Constructively (1987)

Cached

Download Links

by Gerald L. Roylance
Citations:4 - 0 self

Documents Related by Co-Citation

1838 Numerical Recipes: The Art of Scientific Computing – W H Press, B P Flannery, S A Teulolsky, W T Vetterling - 1986
728 G.: Structure and Interpretation of Computer Programs – H Abelson, Sussman - 1985
1 REDUCE---Software for Algebraic Computation – G Rayna - 1987
3 User-de ned types and procedural data structures as complementary approaches to data abstraction – J C Reynolds - 1975
6 The Design of a Metaobject Protocol Controlling Behavior of a Scheme Interpreter – Amin Vahdat - 1993
2 Steele Jr. Common LISP The Language, 2nd Edition – Guy Lewis - 1990
1 On statman's nite completeness theorem – Richard Statman, Gilles Dowek - 1992
15 Re ection and semantics in a procedural language – B C Smith - 1982
4 On statman's finite completeness theorem – Richard Statman, Gilles Dowek - 1992
66 The C++ Programming Language (2nd Ed – B Stroustrup - 1991
190 Reflection and semantics in lisp – B C Smith - 1984
39 User-defined Types and Procedural Data Structures as Complementary Approaches to Type Abstraction – J C Reynolds - 1975
71 The mystery of the tower revealed: A non-reflective description of the reflective tower – Daniel P. Friedman - 1988
13 The mystery of the tower revealed: A non-re ective description of the re ective tower – M Wand, D Friedman - 1988
471 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1981
244 Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis – R M Stallman, G J Sussman - 1977
703 Linear Algebra and Its Applications – G Strang - 1988
75 Numerical Recipes in C. Cambridge Univ – W H Press, S A Teukolsky, W T Vetterling, B P Flannery - 1992
614 Mathematica: A System for Doing Mathematics by Computer – S Wolfram - 1988