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

Functional Programming for Compiling and Decompiling Computer-Aided Design

Functional Programming for Compiling and Decompiling Computer-Aided Design

DocID: 1xW3j - View Document

Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella

Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella

DocID: 1xVWA - View Document

Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop

Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop

DocID: 1xVW1 - View Document

Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz  Henrik Nilsson

Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson

DocID: 1xVxz - View Document

Synthesis of Differentiable Functional Programs for Lifelong Learning  Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al

Synthesis of Differentiable Functional Programs for Lifelong Learning Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al

DocID: 1xVxf - View Document