UNIVERSITY of GLASGOW

Computing at Glasgow University
 

DCS Technical Reports for 'Dr Simon J Gay' ordered by Year. (8)

2011 2010 2008 2007 2006 2003

2011

Hanoi: A Typestate DSL for Java
McGinniss,I. Gay,S.J. DCS Technical Report Series pp 20 Dept of Computing Science, University of Glasgow [More Details].

2010

Modular Session Types for Distributed Object-Oriented Programming
Gay,S.J. Vasconcelos,V.T. Ravara,A. Gesbert,N. Caldeira,A.Z. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

2008

Dynamic Interfaces
Gay,S.J. Ravara,A. Vasconcelos,V.T. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

2007

Asynchronous Functional Session Types
Gay,S.J. Vasconcelos,V.T. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

2006

Subtyping between Standard and Linear Function Types
Gay,S.J. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

2003

Types and Subtypes for Correct Communication in Client-Server Systems
Gay,S.J. Hole,M.J. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Bounded Polymorphism in Session Types
Hole,M.J. Gay,S.J. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Session Types for Inter-Process Communication
Gay,S.J. Vasconcelos,V.T. Ravara,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].