DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Lambda lifting
Lambda lifting
The Spineless Tagless G-Machine Version
Hardware Synthesis from a Recursive Functional Language
UNIVERSITY of CAMBRIDGE Computer Laboratory
The Λ Abroad a Functional Approach to Software Components
Œuf: Minimizing the Coq Extraction TCB
Algol and Haskell
A Located Lambda Calculus
Defining C Preprocessor Macro Libraries with Functional Programs
Promoting Functions to Type Families in Haskell Richard A
Lambda-Dropping: Transforming Recursive Equations Into Programs with Block Structure Basic Research in Computer Science
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping Basic Research in Computer Science
First-Class Nonstandard Interpretations by Opening Closures
Some History of Functional Programming Languages
Lambda Lifting
Continuation-Passing C: Compiling Threads to Events Through
Comp 311 Principles of Programming Languages Lecture 6 Meta
Continuation-Passing C, Compiling Threads to Events Through Continuations Gabriel Kerneis, Juliusz Chroboczek
Closure (Computer Programming) - Wikipedia, the Free Encyclopedia
Top View
Lambda Calculus and Functional Programming, Exercises ; V. 14
Repetitive Reduction Patterns in Lambda Calculus with Letrec (Work in Progress)∗
An Analytical Approach to Programs As Data Objects
Lambda-Dropping: Transforming Recursive Equations Into Programs with Block Structure Basic Research in Computer Science
Lambda: the Ultimate Sublanguage (Experience Report)
CS153: Compilers Lecture 12: Closures and Environments
A Modular Programming Language for Engineering Design
A Modular Fully-Lazy Lambda Lifter in Haskell 1 Introduction
Lambda-Lifting in Quadratic Time ∗
Algol and Haskell
Verified Compilation of ML5 to Javascript
Some History of Functional Programming Languages
Selective Lambda Lifting
Continuation-Passing C Compiling Threads to Events Through Continuations
Arxiv:2101.04102V2 [Cs.PL] 18 Jan 2021 a Computational Model Very Different from That of Most General-Purpose Lan- Guages
A Racket to Javascript Compiler
Optimizing Closures in O(0) Time