<--- Back to Details
First PageDocument Content
Software engineering / Mathematics / Declarative programming / Lambda calculus / Functional programming / Functions and mappings / Let expression / Embedding / Monad / Anonymous function
Date: 2013-10-12 04:58:09
Software engineering
Mathematics
Declarative programming
Lambda calculus
Functional programming
Functions and mappings
Let expression
Embedding
Monad
Anonymous function

A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

Add to Reading List

Source URL: community.haskell.org

Download Document from Source Website

File Size: 218,14 KB

Share Document on Facebook

Similar Documents

The Julia Express Bogumił Kaminski ´ January 4, 2015  Contents

The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents

DocID: 1rtHJ - View Document

Project 5 - The Meta-Circular Evaluator

Project 5 - The Meta-Circular Evaluator

DocID: 1rtvP - View Document

Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY

Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY

DocID: 1rf2e - View Document

Microsoft PowerPoint - Lect02Scheme.ppt

Microsoft PowerPoint - Lect02Scheme.ppt

DocID: 1reMy - View Document

PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT  Advisor: Armando Solar-Lezama

PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama

DocID: 1rduU - View Document