<--- 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

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs? Sebastian Fischer1 , Josep Silva2 , Salvador Tamarit2 , and Germ´an Vidal2 1  2

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs? Sebastian Fischer1 , Josep Silva2 , Salvador Tamarit2 , and Germ´an Vidal2 1 2

DocID: 1t2L1 - View Document

Lazy Call-By-Value Evaluation ∗ Bernd Braßel Sebastian Fischer Michael Hanus Frank Huch Institute of Computer Science, CAU Kiel, Germany.

Lazy Call-By-Value Evaluation ∗ Bernd Braßel Sebastian Fischer Michael Hanus Frank Huch Institute of Computer Science, CAU Kiel, Germany.

DocID: 1sQul - View Document

02157 Functional Programming - Sequences

02157 Functional Programming - Sequences

DocID: 1rsIU - View Document

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

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

DocID: 1rfUD - View Document

Lazy Query Evaluation for Active XML∗ Serge Abiteboul Omar Benjelloun  Bogdan Cautis

Lazy Query Evaluation for Active XML∗ Serge Abiteboul Omar Benjelloun Bogdan Cautis

DocID: 1qT9R - View Document