Dependency Assessment: cborg Prepared by FP Complete For The Cardano Foundation August 2018

First Page		Document Content
Date: 2018-09-13 11:00:23 Software engineering Computing Programming language theory Software testing Extreme programming Functional languages Cross-platform software Procedural programming languages Code coverage Haskell Regression testing SAT		Dependency Assessment: cborg Prepared by FP Complete For The Cardano Foundation August 2018 Add to Reading List Source URL: cardano.org Download Document from Source Website File Size: 164,66 KB Share Document on Facebook

	Intel Labs Haskell Research Compiler Hai (Paul) Liu with Neal Glew, Leaf Peterson, Todd A. Anderson Intel Labs. September 28, 2016 DocID: 1xVxS - View Document
	Native Offload of Haskell Repa Programs to Integrated GPUs Hai (Paul) Liu with Laurence Day, Neal Glew, Todd Anderson, Rajkishore Barik Intel Labs. September 28, 2016 DocID: 1xVja - View Document
	Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK DocID: 1xVgx - View Document
	Proceedings of the 1999 Haskell Workshop Erik Meijer (editor) UU-CS DocID: 1xVbC - View Document
	Hat Day 2005: work in progress on the Hat tracing system for Haskell Colin Runciman (Editor) DocID: 1xV4B - View Document