Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

The University of Edinburgh crest

	Home

Browse
	Communities & Collections
	Issue Date
	Author
	Title
	Subject
	Publication Type

Sign on to:
	Receive email updates
	My ERA authorized users
	Edit Profile


	About DSpace

Edinburgh Research Archive >

Browsing by Subject Laboratory for Foundations of Computer Science

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 28 to 40 of 40

Issue Date	Title	Author(s)	Supervisor(s)
5-Nov-2003	A Per Model of Polymorphism and Recursive Types	Abadi, Martin; Plotkin, Gordon	-
2009	Program Transformations in Weak Memory Models	Sevcik, Jaroslav	Aspinall, David
31-Mar-2008	Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata and Pushdown Systems	Etessami, Kousha; Wojtczak, Dominik; Yannakakis, Mihalis	-
2009	Recursive Probabilistic Models: efficient analysis and implementation	Wojtczak, Dominik	Etess, Kousha
2003	Semantics for algebraic operations	Plotkin, Gordon; Power, John	-
1991	A Semantics for Static Type Inference	Plotkin, Gordon	-
5-Nov-2003	A Set-Theoretical Definition of Application	Plotkin, Gordon	-
5-Nov-2003	Subtyping and Parametricity	Plotkin, Gordon; Abadi, Martin; Cardelli, Luca	-
6-Nov-2003	Three Inadequate Models	Plotkin, Gordon	-
5-Nov-2003	Towards a Mathematical Operational Semantics	Plotkin, Gordon; Turi, Daniele	-
5-Nov-2003	Type Theory and Recursion Extended Abstract	Plotkin, Gordon	-
2008	Type-based amortized stack memory prediction	Campbell, Brian	Sannella, Don
1995	Uncountable Limits and the Lambda Calculus	Di Gianantonio, Pietro; Honsell, Furio; Plotkin, Gordon	-

Showing results 28 to 40 of 40

DSpace Software Copyright © 2002-2010 Duraspace - Feedback