A Language for Domain-Specific Optimizations in Haskell


Andrew Farmer
http://andrewfarmer.name

Andy Gill
andygill@ittc.ku.edu

Functional Programming Group
Information and Telecommunication Technology Center
University of Kansas

Symposium on Trends in Functional Programming
May 16, 2013

Motivation

More General
More Specific

Motivation

More General
More Specific
Can be performed mechanically

Motivation

More General
More Specific
Can be performed mechanically
Strictly Improving
Broadly Applicable
No Eureka Steps

Motivation