Informatics Report Series


Robert Pollack

Related Pages

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

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 <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh