Expressing Mathematical Subroutines Constructively (1987)

Cached

Download Links

by Gerald L. Roylance
Citations:4 - 0 self

Documents Related by Co-Citation

4 Revised report on the algorithmic language Scheme – al - 1986
1 Ii. SECURITY CLASS. for fhte report) UNCLASSIFIED ' lSa. DECLASSIFICATION/OOWNGRAOING SCNEOULE DISTRIBUTION STATEMENT fo/ fhle /eporl) Distribution is unlimited. 17. DISTRIBUTIDN STATEMENT Col one Ibefwicf Mlleeedln Block 30, II dllferMlf hem Reperf) fl. – VA Arlington - 1987
636 Structure and Interpretation of Computer Programs – H Abelson, G J Sussman, J Sussman - 1985
1466 Numerical Recipes in C. The Art of Scientific Computing – W H PRESS, B P FLANNERY, S A TEUKOLSKY, W T VETTERLING - 1988
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
12 The mystery of the tower revealed: A nonre ective description of the re ectivetower – Mitchell Wand, Daniel P Friedman - 1988
1 On statman's nite completeness theorem – Richard Statman, Gilles Dowek - 1992
14 Prologue to `Re ection and Semantics in a Procedural Language – B C Smith - 1985
4 On statman's finite completeness theorem – Richard Statman, Gilles Dowek - 1992
183 Reflection and semantics in Lisp – Brian Cantwell Smith - 1984
68 The mystery of the tower revealed: A non-reflective description of the reflective tower – Daniel P. Friedman - 1988
62 The C++ programming language. 2nd ed – Bjarne Stroustrup - 1991
162 Reflection and semantics in a procedural language – Brian Cantwell Smith - 1982
217 Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis – R M Stallman, G J Sussman - 1977
47 Numerical Recipes in C. Cambridge Univ – W H Press, S A Teukolsky, W T Vetterling, B P Flannery - 1992
30 User-Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction – J Reynolds - 1994