<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Computing / Functional languages / Evaluation strategy / Computability theory / Lambda calculus / Theoretical computer science / Lazy evaluation / Functional programming / ALGOL 68 / Racket
Date: 2012-08-23 01:56:39
Software engineering
Computer programming
Computing
Functional languages
Evaluation strategy
Computability theory
Lambda calculus
Theoretical computer science
Lazy evaluation
Functional programming
ALGOL 68
Racket

From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

Add to Reading List

Source URL: www.ccs.neu.edu

Download Document from Source Website

File Size: 559,48 KB

Share Document on Facebook

Similar Documents

Upper Room Mission Request for Proposals EVALUATION OF HOMELESSNESS STRATEGY FOR NORTH OKANAGAN Request for Proposal Issue Date

Upper Room Mission Request for Proposals EVALUATION OF HOMELESSNESS STRATEGY FOR NORTH OKANAGAN Request for Proposal Issue Date

DocID: 1v6r1 - View Document

Afghanistan visit on Training and Evaluation Strategy of SHGs operation

Afghanistan visit on Training and Evaluation Strategy of SHGs operation

DocID: 1v5Nj - View Document

International Journal of Advances in Science Engineering and Technology, ISSN: Volume- 2, Issue-4, OctA STRATEGY FOR RELIABILITY EVALUATION AND FAULT DIAGNOSIS OF AUTONOMOUS UNDERWATER GLIDING ROBOT

International Journal of Advances in Science Engineering and Technology, ISSN: Volume- 2, Issue-4, OctA STRATEGY FOR RELIABILITY EVALUATION AND FAULT DIAGNOSIS OF AUTONOMOUS UNDERWATER GLIDING ROBOT

DocID: 1urDX - View Document

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis  Julie Shah

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis Julie Shah

DocID: 1umuk - View Document

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis  Julie Shah

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis Julie Shah

DocID: 1uaR5 - View Document