A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University

First Page		Document Content
Date: 2006-04-13 14:58:01 Recursion Computability theory Theory of computation Subroutines Lambda calculus Primitive recursive function Fold Mutual recursion Higher-order function Type system		A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Download Document from Source Website File Size: 127,22 KB Share Document on Facebook

	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi DocID: 1rjEK - View Document
	Al-Kashi’s constant τ Peter Harremoës March 3, 2012 Here I collect some facts about al-Kashi’s constant that was appearently fist used by the Persian mathematician Jamshid al-Kashi. A previous version of this page DocID: 1qBvi - View Document
	Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics DocID: 1q22a - View Document
	The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon DocID: 1pWca - View Document
	A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University DocID: 1oW2a - View Document