William Clinger, (ed.), Jonathan Rees, (ed.), Hal Abelson, N. I. Adams IV, D. H. Bartley, G. Brooks, R. Kent Dybvig, Daniel P. Friedman, R. Halstead, Chris Hanson, Christopher T. Haynes, Eugene Kohlbecker, D. Oxley, Kent M. Pitman, Guillermo J. Rozas, Guy L. Steele Jr., G. J. Sussman, Mitchell Wand  Home/Search
Context Related
| dec.com/pub/plan/scheme/r4r...r4rs.ps.Z cs.bgu.ac.il/~elhadad/scm/r4rs.ps.gz indiana.edu/l/www/classes/...r4rs.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dec.com (more) From: indiana.edu/l/www/classes/p523... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Programming languages should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary. Scheme demonstrates that a very small number of rules for forming expressions, with no restrictions on how they are composed, suffice to form a practical and efficient programming language that is flexible enough to support most of the major programming paradigms in use today. (Update)
Cited by: More
Relational Interpretations of Recursive Types in an.. - Cmu-Cs- School Of (1998) (Correct)
Relational Interpretations of Recursive Types in an.. - Lars Birkedal And (1997) (Correct)
Computational Reflection and CSCW Design - Dourish (1992) (Correct)
Similar documents (at the sentence level):
60.8%: Revised^5 Report on the Algorithmic Language Scheme - Kelsey, (ed), Clinger.. (1998) (Correct)
49.1%: Revised^3 Report on the Algorithmic Language Scheme - Rees, (ed.), Clinger.. (1991) (Correct)
18.7%: MIT Scheme Reference Manual - Hanson (1995) (Correct)
Active bibliography (related documents): More All
2.0: The Evolution of Lisp - Steele, Jr., Gabriel (1993) (Correct)
0.8: Closure generation based on viewing LAMBDA as EPSILON plus.. - Feeley, Lapalme (1992) (Correct)
0.7: The Formal Relationship between Direct and Continuation-Passing.. - Sabry (1994) (Correct)
Similar documents based on text: More All
0.4: Lisp - Almost a whole Truth! - Queinnec (1989) (Correct)
0.3: Translucent Procedures, Abstraction without Opacity - Rozas (1993) (Correct)
0.3: A Parallelizing Compiler Based on Partial Evaluation - Surati (1993) (Correct)
Related documents from co-citation: More All
30: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
14: Compiling with Continuations (context) - Appel - 1992
13: Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
BibTeX entry: (Update)
William Clinger and Jonathan A. Rees, editors. The revised 4 report on the algorithmic language Scheme. Lisp Pointers 4(3), ACM, 1991. http://citeseer.ist.psu.edu/article/clinger91revised.html More
@techreport{ clinger91revised,
author = "William Clinger and Jonathan Rees",
title = "Revised$^{4}$ Report on the Algorithmic Language Scheme",
pages = "55",
year = "1991",
url = "citeseer.ist.psu.edu/article/clinger91revised.html" }
Citations (may not include all citations):484 Common Lisp: The Language (context) - Steele - 1984
430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman et al. - 1985 ACM
346 Denotational Semantics: The ScottStrachey Approach to Progra.. (context) - Stoy - 1977
220 Orbit: An optimizing compiler for Scheme (context) - Kranz, Kelsey et al. - 1986 ACM DBLP
220 Orbit: An optimizing compiler for Scheme (context) - Kranz - 1988 ACM DBLP
197 The revised 3 report on the algorithmic language Scheme - Rees, Clinger - 1986
184 Definitional interpreters for higher order programming langu.. (context) - Reynolds - 1972
133 IEEE Standard for Binary Floating-Point Arithmetic (context) - Standard - 1985
127 Control flow analysis in Scheme (context) - Shivers - 1988 ACM
86 A correspondence between Algol 60 and Church's lambda notati.. (context) - Landin - 1965
80 The Scheme Programming Language (context) - Dybvig - 1987 ACM
75 A syntactic theory of sequential control (context) - Felleisen, Friedman et al. - 1987 ACM DBLP
69 Revised report on the algorithmic language Algol (context) - Naur - 1963
68 Hygienic macro expansion (context) - Kohlbecker, Friedman et al. - 1986 ACM DBLP
67 Representing control in the presence of first-class continua.. - Hieb, Dybvig et al. - 1990
57 Continuation-based multiprocessing - Wand - 1980 ACM DBLP
54 The mystery of the tower revealed: a non-reflective descript.. (context) - Wand - 1986 DBLP
47 Continuation-based program transformation strategies (context) - Wand - 1978 ACM DBLP
45 Macros that work (context) - Clinger, Rees - 1991 ACM DBLP
45 Finding the source of type errors (context) - Wand - 1986 ACM DBLP
39 Reification: reflection without metaphysics (context) - Friedman, Wand - 1984 DBLP
35 Abstract continuations: a mathematical semantics for handlin.. (context) - Felleisen, Wand et al. - 1988
34 Reasoning with continuations (context) - Felleisen, Friedman et al. - 1986
32 A module system for Scheme - Curtis, Rauen - 1990 ACM DBLP
32 Scheme and the Art of Programming (context) - Springer, Friedman - 1989 ACM
28 The Scheme 311 compiler: an exercise in denotational semanti.. (context) - Clinger - 1984 DBLP
27 Lisp and Symbolic Computation (context) - Sitaram, Felleisen et al. - 1990
27 Implementation strategies for continuations (context) - Clinger, Hartheimer et al. - 1988 ACM DBLP
26 Syntactic closures - Bawden, Rees - 1988 ACM DBLP
24 Scheme: an interpreter for extended lambda calculus (context) - Sussman, Steele - 1975
23 and the lambdacalculus (context) - Felleisen, Friedman et al. - 1986
23 Engines from continuations (context) - Dybvig, Hieb - 1989 ACM DBLP
22 Object-oriented programming in Scheme (context) - Adams, Rees - 1988 ACM DBLP
21 Functional geometry (context) - Henderson - 1982
20 A scheme for a higher-level semantic algebra (context) - Clinger, Friedman et al. - 1985 ACM
18 Abstracting timed preemption with engines (context) - Haynes, Friedman - 1987
18 Obtaining coroutines with continuations (context) - Haynes, Friedman et al. - 1986 ACM DBLP
18 Programming with continuations (context) - Friedman, Haynes et al. - 1984
16 A calculus for assignments in higher-order languages (context) - Felleisen, Friedman - 1987
16 Syntactic Extensions in the Programming Language Lisp (context) - Kohlbecker - 1986 ACM
16 lambda: The ultimate software tool (context) - Rees, IV et al. - 1982
15 Engines build process abstractions (context) - Haynes, Friedman - 1984
15 Expansion-passing style: a general macro mechanism - Dybvig, Friedman et al. - 1988 DBLP
14 Special forms in Lisp (context) - Pitman - 1980
12 Logic continuations (context) - Haynes - 1986
12 MIT Artificial Intelligence Memo (context) - Steele, Gerald et al. - 1976
12 MIT Artificial Intelligence Memo (context) - Steele, Gerald et al. - 1978
12 MIT Artificial Intelligence Memo (context) - Steele, Gerald et al. - 1978
12 The implementation of PC Scheme (context) - Bartley, Jensen - 1986 DBLP
12 How to read floating point numbers accurately - Clinger - 1990 ACM
12 A reduction semantics for imperative higher-order languages (context) - Felleisen, Friedman - 1987
12 MIT Artificial Intelligence Memo (context) - Steele, Lambda et al. - 1976
11 Yale University Computer Science Department (context) - Rees, IV et al. - 1984
11 How to print floating point numbers accurately (context) - Steele, Jon et al. - 1990
11 A parallel virtual machine for efficient Scheme compilation - Feeley, Miller - 1990
11 A semantic comparison of Lisp and Scheme (context) - Muchnick, Pleban - 1980
10 Haynes and Daniel P (context) - Christopher - 1987
9 A closer look at export and import statements (context) - Felleisen, Friedman - 1986
9 Friedman and Matthias Felleisen (context) - Daniel - 1987
9 Programming In Scheme (context) - Eisenberg, editor - 1988 ACM
8 Scheme 311 version 4 reference manual (context) - Fessenden, Clinger et al. - 1983
8 expensive procedure call (context) - Steele, the - 1977
7 An efficient environment allocation scheme in an interpreter.. (context) - McDermott - 1980 ACM DBLP
6 MIT Laboratory for Computer Science Technical Report (context) - Pitman, MacLisp et al. - 1983
6 The Scheme-81 architecture---system and chip (context) - Batali, Goodhue et al. - 1982
6 Scheme 84 interim reference manual (context) - Friedman, Haynes et al. - 1985
6 MIT Artificial Intelligence Laboratory Technical Report (context) - Steele, Rabbit et al. - 1978
5 Friedman and Christopher T (context) - Daniel - 1985
5 Also published as Computer Science Department Technical Repo.. (context) - Clinger, revised et al. - 1985
5 Science Research Associates (context) - Friedman, Felleisen et al. - 1986
5 seventh edition (context) - of, Engineering et al. - 1984
5 Principal values and branch cuts in complex APL (context) - Penfield - 1981 ACM
5 The runtime environment for Screme (context) - Vegdahl, Pleban - 1989
5 The dream of a lifetime: a lazy variable extent mechanism (context) - Steele, Gerald - 1980
5 An overview of Common Lisp (context) - Steele - 1982
5 Using closures for code generation (context) - Feeley, LaPalme - 1987 ACM DBLP
4 TI Scheme Language Reference Manual (context) - Instruments - 1985
4 MIT Department of Electrical Engineering and Computer Scienc.. (context) - Rozas, an et al. - 1984
3 Continuations and concurrency (context) - Dybvig, Hieb - 1990 ACM DBLP
3 on du language Scheme. M.Sc. thesis, D'epartement d'Informat.. (context) - Feeley, l'implantati - 1986
3 Compiler optimization based on viewing LAMBDA as RENAME + GO.. (context) - Steele - 1980
3 Phantom stacks---if you look too hard (context) - Stallman - 1980
3 integration of logic and functional programming (context) - Srivastava, Oxley et al. - 1985
3 Design of a Lisp-based processor (context) - Steele, Gerald - 1980
3 A variable-arity procedural interface (context) - Dybvig, Hieb - 1988 ACM DBLP
3 Macaroni is better than spaghetti (context) - Steele - 1977 ACM
2 Bochser: an integrated Scheme programming system (context) - Eisenberg - 1985
2 Scheme-79---Lisp on a chip (context) - Sussman, Holloway et al. - 1981
2 Compiling lambda expressions using continuations and factori.. (context) - Wand, Friedman - 1978
2 MIT Laboratory for Computer Science Technical Report (context) - Smith, semantics et al. - 1982
2 MIT Artificial Intelligence Laboratory Working Paper (context) - Pitman, in - 1985
1 with William Clinger and Anne Hartheimer (context) - Eisenberg - 1990
1 A Denotational Approach to Flow Analysis and Optimization of.. (context) - Pleban - 1980
1 Modular Macros (context) - Rees - 1989
1 Semantics of Scheme (context) - Clinger - 1988 ACM
1 programming and implementation (context) - Sussman - 1982
1 Towards a facility for lexically scoped (context) - Franco, Friedman - 1990
1 Reflections on Landin's JOperator: a partly historical note (context) - Felleisen - 1987
1 Lisp: a langauge for stratified design (context) - Abelson, Sussman - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/gatekeeper.dec.com.html): More
U. S. Government Open Systems Interconnection Profile (GOSIP).. - Table Of (Correct)
Resource ReSerVation Protocol (RSVP) - Version 1.. - Braden, Zhang.. (1996) (Correct)
U. S. Government Open Systems Interconnection Profile (GOSIP).. - Table Of (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC