<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Compiler optimizations / Computing / Inline expansion / Optimizing compiler / Data-flow analysis / Scope / Standard ML / Functional programming / Directed acyclic graph / Static single assignment form
Date: 2017-07-17 11:35:05
Software engineering
Computer programming
Compiler optimizations
Computing
Inline expansion
Optimizing compiler
Data-flow analysis
Scope
Standard ML
Functional programming
Directed acyclic graph
Static single assignment form

PREPRINT: To be presented at ICFP ’14, September 1–6, 2014, Gothenburg, Sweden. Practical and Effective Higher-Order Optimizations Lars Bergstrom Matthew Fluet

Add to Reading List

Source URL: manticore.cs.uchicago.edu

Download Document from Source Website

File Size: 312,43 KB

Share Document on Facebook

Similar Documents

THE HISTORY OF STANDARD ML  IDEAS, PRINCIPLES, CULTURE David MacQueen University of Chicago (Emeritus)

THE HISTORY OF STANDARD ML IDEAS, PRINCIPLES, CULTURE David MacQueen University of Chicago (Emeritus)

DocID: 1xUwQ - View Document

Sorb Star © – VOC Reproducibility  Sample preparation: 100 ml water with 10 µl standard concppm; 20µg of each component in solution; addition of 10 pcs Sorb Star© 24 hrpm stirred

Sorb Star © – VOC Reproducibility Sample preparation: 100 ml water with 10 µl standard concppm; 20µg of each component in solution; addition of 10 pcs Sorb Star© 24 hrpm stirred

DocID: 1v7gc - View Document

Heparin Sodium ヘパリンナトリウム Add the following next to Description: Identification Dissolve 1 mg each of Heparin Sodium and Heparin Sodium Reference Standard for physicochemical test in 1 mL of water, and u

Heparin Sodium ヘパリンナトリウム Add the following next to Description: Identification Dissolve 1 mg each of Heparin Sodium and Heparin Sodium Reference Standard for physicochemical test in 1 mL of water, and u

DocID: 1urpB - View Document

SMLtoJs: Hosting a Standard ML compiler in a Web Browser Martin Elsman SimCorp A/S   Abstract

SMLtoJs: Hosting a Standard ML compiler in a Web Browser Martin Elsman SimCorp A/S Abstract

DocID: 1uhqF - View Document

Partial Evaluation of Standard ML Master’s Thesis Lars Birkedal Morten Welinder

Partial Evaluation of Standard ML Master’s Thesis Lars Birkedal Morten Welinder

DocID: 1sCkY - View Document