Autobahn: using genetic algorithms to infer strictness annotations

Wang, Yisu Remy
2017

Although laziness enables beautiful code, it comes with non-trivial performance costs. The GHC compiler for Haskell has optimizations to reduce those costs, but the optimizations are not sufficient. As a result, Haskell also provides a variety of strictness annotations so that users can indicate program points where an expression should be evaluated eagerly. Skillful use of those annotations is a ... read more

This object is in collection:
Undergraduate honors theses
Subjects
Tufts University. Department of Computer Science.
Permanent URL
http://hdl.handle.net/10427/013460
ID: tufts:sd.0000645
To Cite: DCA Citation Guide
Usage: Detailed Rights