Dependently Typed Functional Programs and their Proofs - Inductive data type - Document - PDFSEARCH.IO

First Page	Meta Content
	Dependently Typed Functional Programs and their Proofs Add to Reading List Document Date: 2007-10-10 18:00:00 Open Document File Size: 1,07 MB Share Result on Facebook Facility Philosophy University of Edinburgh / / IndustryTerm unification algorithm / automated solution / correct first-order unification algorithm / / Organization University of Edinburgh / Contents Chapter / / Person Thierry Coquand / Conor McBride / Healf Goguen / Rod Burstall / John Major / Martin Hofmann / James McKinna / Randy Pollack / / Position official supervisor / proof assistant / / Technology unification algorithm / / SocialTag Type theory Mathematical logic Dependently typed programming Data types Functional languages Unification Functional programming Inductive data type Monad Software engineering

Dependently Typed Functional Programs and their ProofsAdd to Reading List