Informatics Report Series


Author   

Robert Pollack


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Report Date Title
EDI-INF-RR-1412 Dec 2010 Executable Formal Semantics of C
EDI-INF-RR-0748 Sep 2004 Reasoning about CBV functional programs in Isabelle/HOL
EDI-INF-RR-0747 Oct 2002 A constructive algebraic hierarchy in Coq
EDI-INF-RR-0746 2002 Dependently typed records in type theory
EDI-INF-RR-0742 Jan 2005 A logical framework with dependently typed records


Home : Publications : Author 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh