First Page | Document Content | |
---|---|---|
Date: 2012-08-23 01:56:39Software 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 2Add to Reading ListSource URL: www.ccs.neu.eduDownload Document from Source WebsiteFile Size: 559,48 KBShare Document on Facebook |
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs? Sebastian Fischer1 , Josep Silva2 , Salvador Tamarit2 , and Germ´an Vidal2 1 2DocID: 1t2L1 - View Document | |
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 - SequencesDocID: 1rsIU - View Document | |
From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2DocID: 1rfUD - View Document | |
Lazy Query Evaluation for Active XML∗ Serge Abiteboul Omar Benjelloun Bogdan CautisDocID: 1qT9R - View Document |