UNIVERSITY OF CAMBRIDGE Computer Science, Maths, Raspberry Pi

First Page		Document Content
Date: 2013-10-02 07:32:34 Alan Mycroft Raspberry Pi Raspberry Pi Information and communication technologies in education Computer Mathematics Computing Education Educational technology Technology Home computers		UNIVERSITY OF CAMBRIDGE Computer Science, Maths, Raspberry Pi Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 846,78 KB Share Document on Facebook

	Logical Testing Hoare-style Specification Meets Executable Validation Kathryn E. Gray Alan Mycroft DocID: 1tKIu - View Document
	Lambdas, streams, and functional-style programming IN ACTION Raoul-Gabriel Urma Mario Fusco Alan Mycroft DocID: 1tirj - View Document
	Lambdas, streams, and functional-style programming IN ACTION Raoul-Gabriel Urma Mario Fusco Alan Mycroft DocID: 1tgG3 - View Document
	Polymorphism, Subtyping, and Type Inference in MLsub Alan Mycroft tifact OPL * DocID: 1t6Ds - View Document
	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp DocID: 1quSj - View Document