R. Kent Dybvig. The SCHEME Programming Language. Prentice-Hall, 1987. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Automated Support for Framework-Based Software Evolution - Tourwé (2002) (2 citations) (Correct)
Contractual Types - Nierstrasz (Correct)
Automatic Time-Bound Analysis for a Higher-Order Language - Gomez, Liu (2002) (1 citation) (Correct)
Online Type-Directed Partial Evaluation - Danvy (1997) (11 citations) (Correct)
Strong Normalization by Type-Directed Partial Evaluation and.. - Balat, Danvy (1997) (8 citations) (Correct)
Automatic Accurate Stack Space and Heap Space Analysis.. - Unnikrishnan, Stoller, .. (1 citation) (Correct)
A Repository of Designs for Process and Assembly Planning - Regli, Gaines (Correct)
Automatic Accurate Cost-Bound Analysis for High-Level Languages - Liu, Gómez (2001) (Correct)
Eliminating Dead Code on Recursive Data - Liu, Stoller (2001) (5 citations) (Correct)
Writing Macros in Continuation-Passing Style - Hilsdale, Friedman (2000) (2 citations) (Correct)
Multi-way Streams in Scheme - John Franco Daniel (1989) (1 citation) (Correct)
Rate-Control as a Language Construct for Parallel and.. - Peter Mills Jan (1993) (Correct)
Embedded Lisps in Smalltalk-80 - This Package Allows (Correct)
TARA: Actor-Based Object-Oriented Language For Efficient.. - Tada (2000) (Correct)
Strong Normalization by Type-Directed Partial Evaluation and.. - Balat, Danvy (1998) (8 citations) (Correct)
Multi-way Streams in Scheme - John Franco Daniel (1989) (1 citation) (Correct)
Run-Time Code Generation for Type-Directed Partial Evaluation - Rhiger (1999) (1 citation) (Correct)
Distributed Computations Driven by Resource Consumption - Moreau, Queinnec (1998) (1 citation) (Correct)
Automatic Accurate Stack Space and Heap Space Analysis.. - Unnikrishnan, Stoller, .. (2000) (1 citation) (Correct)
Automatic Time-Bound Analysis for a Higher-Order Language - Gómez, Liu (1999) (Correct)
Effective Flow Analysis for Avoiding Run-Time Checks - Jagannathan, Wright (1995) (29 citations) (Correct)
Fixpoint Computation for Polyvariant Static Analyses of.. - Ashley, Consel (1994) (11 citations) (Correct)
FLECS: A Tool for Rapid Prototyping of Mechanisms in.. - Bailey, O'Bagy (1990) (Correct)
Explicit Substitutions for Control Operators - Barthe, Kamareddine, Ríos (1997) (2 citations) (Correct)
Eliminating Dead Code on Recursive Data - Liu, Stoller (1999) (5 citations) (Correct)
Global Tagging Optimization by Type Inference - Henglein (1992) (46 citations) (Correct)
Eliminating Dead Code on Recursive Data - Liu, Stoller (1998) (5 citations) (Correct)
Program Restructuring as an Aid to Software Maintenance - Griswold (1991) (26 citations) (Correct)
On the Finiteness of Resources in Distributed Computing - Moreau, Queinnec (1997) (1 citation) (Correct)
IIC: Information in Context - Mankoff (1996) (Correct)
Supporting the Restructuring of Data Abstractions through.. - Bowdidge (1995) (16 citations) (Correct)
Effective Flow Analysis for Avoiding Run-Time Checks - Jagannathan, Wright (1995) (29 citations) (Correct)
Explicit substitutions for the lambda Delta-calculus - Barthe, Kamareddine.. (Correct)
Design of a Concurrent and Distributed Language - Queinnec, De Roure (1992) (9 citations) (Correct)
Maintaining Dynamic State: Deep, Shallow, and Parallel - Haynes, Salter (1995) (Correct)
Flow-directed Inlining - Jagannathan, Wright (1996) (42 citations) (Correct)
Automatic Data Layout for Distributed Memory Machines - Kremer (1995) (45 citations) (Correct)
Program Restructuring via Design-Level Manipulation - Griswold, Bowdidge (1993) (Correct)
Parameter-Passing and the Lambda Calculus - Crank, Felleisen (1991) (27 citations) (Correct)
Contractual Types - Oscar Nierstrasz Institut (Correct)
Extensible Language Implementation - Kolbly (2002) (Correct)
Analysis and Efficient Implementation of Functional Programs - Sestoft (1991) (43 citations) (Correct)
A Scheme for Little Languages in Interactive Graphics - Beckman (1991) (11 citations) (Correct)
The DrScheme Project: An Overview - Felleisen, Findler, Flatt.. (1998) (2 citations) (Correct)
The DrScheme Project: An Overview - Felleisen, Findler, Flatt.. (1998) (2 citations) (Correct)
A Methodology for Formal Hardware Verification, with Application.. - Beatty (1993) (11 citations) (Correct)
A Language for Composing Program Modules - Thorelli, Liib (1995) (1 citation) (Correct)
CISE Educational Infrastructure: Tools and.. - Haynes, Dybvig.. Self-citation (Dybvig) (Correct)
Subcontinuations - Hieb, Dybvig, Anderson (1993) Self-citation (Dybvig) (Correct)
Expansion-Passing Style: A General Macro Mechanism - Dybvig, Friedman, Haynes (1988) (9 citations) Self-citation (Dybvig) (Correct)
First 50 documents Next 50
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