I am generally interested in logic, semantics and the lambda calculus and specifically in type systems for the analysis of higher-order programs.
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.
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.
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.