Information Services banner Edinburgh Research Archive The University of Edinburgh crest

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:   
Sort by: In order: Results/Page Authors/Record:
Showing results 28 to 40 of 40
< previous 
Issue DateTitleAuthor(s)Supervisor(s)
5-Nov-2003A Per Model of Polymorphism and Recursive TypesAbadi, Martin; Plotkin, Gordon-
2009Program Transformations in Weak Memory ModelsSevcik, JaroslavAspinall, David
31-Mar-2008Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata and Pushdown SystemsEtessami, Kousha; Wojtczak, Dominik; Yannakakis, Mihalis-
2009Recursive Probabilistic Models: efficient analysis and implementationWojtczak, DominikEtess, Kousha
2003Semantics for algebraic operationsPlotkin, Gordon; Power, John-
1991A Semantics for Static Type InferencePlotkin, Gordon-
5-Nov-2003A Set-Theoretical Definition of ApplicationPlotkin, Gordon-
5-Nov-2003Subtyping and ParametricityPlotkin, Gordon; Abadi, Martin; Cardelli, Luca-
6-Nov-2003Three Inadequate ModelsPlotkin, Gordon-
5-Nov-2003Towards a Mathematical Operational SemanticsPlotkin, Gordon; Turi, Daniele-
5-Nov-2003Type Theory and Recursion Extended AbstractPlotkin, Gordon-
2008Type-based amortized stack memory predictionCampbell, BrianSannella, Don
1995Uncountable Limits and the Lambda CalculusDi Gianantonio, Pietro; Honsell, Furio; Plotkin, Gordon-
Showing results 28 to 40 of 40
< previous 

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback