© ACM, 2016. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the Proceedings of the Haskell Works

First Page		Document Content
Date: 2016-08-12 17:11:25 Build automation Compiling tools Glasgow Haskell Compiler Make Haskell Automake Cabal Apache Ant Include directive Monad Yi		© ACM, 2016. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the Proceedings of the Haskell Works Add to Reading List Source URL: ndmitchell.com Download Document from Source Website File Size: 249,80 KB Share Document on Facebook

	SHA-3 on ARM11 processors Peter Schwabe1 , Bo-Yin Yang1 , and Shang-Yi Yang2 1 ? DocID: 1xVSa - View Document
	The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA DocID: 1xVHA - View Document
	Collaborative Metric Learning Cheng-Kang Hsieh‡ , Longqi Yang† ,Yin Cui† , Tsung-Yi Lin† , Serge Belongie† , Deborah Estrin† ‡ ‡ UCLA; † Cornell Tech DocID: 1xVpw - View Document
	FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF DocID: 1xUHu - View Document
	Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart DocID: 1xUFF - View Document