Steven Ramsay
Steven Ramsay
Interests
I have now moved to the University of Bristol, please go here.
Teaching
Lambda Calculus and Types: Hilary Term 2016, Hilary Term 2017
Selected Publications
-
Bisimilarity in Fresh−Register Automata
Andrzej S. Murawski‚ Steven J. Ramsay and Nikos Tzevelekos
In 30th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2015‚ Kyoto‚ Japan‚ July 6−10‚ 2015. Pages 156–167. 2015.
Details about Bisimilarity in Fresh−Register Automata | BibTeX data for Bisimilarity in Fresh−Register Automata
-
A type−directed abstraction refinement approach to higher−order model checking
Steven J. Ramsay‚ Robin P. Neatherway and C.−H. Luke Ong
In The 41st Annual ACM SIGPLAN−SIGACT Symposium on Principles of Programming Languages‚ POPL '14‚ San Diego‚ CA‚ USA‚ January 20−21‚ 2014. Pages 61–72. 2014.
Details about A type−directed abstraction refinement approach to higher−order model checking | BibTeX data for A type−directed abstraction refinement approach to higher−order model checking
-
Verifying higher−order functional programs with pattern−matching algebraic data types
C.−H. Luke Ong and Steven J. Ramsay
In Proceedings of the 38th ACM SIGPLAN−SIGACT Symposium on Principles of Programming Languages‚ POPL 2011‚ Austin‚ TX‚ USA‚ January 26−28‚ 2011. Pages 587–598. 2011.
Details about Verifying higher−order functional programs with pattern−matching algebraic data types | BibTeX data for Verifying higher−order functional programs with pattern−matching algebraic data types