Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher. Autobahn: using genetic algorithms to infer strictness annotations. In Geoffrey Mainland, editor, Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016. pages 114-126, ACM, 2016. [doi]
Abstract is missing.