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 | Add to Reading List |
![]() | 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 |