Martin Lester

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 3

Top Topics

Monadic Second Order Logic

User Defined Aggregates

Expressive Power

Relation Algebra

Top Venues

Publications

Martin Lester, Robin P. Neatherway, C.-H. Luke Ong, Steven J. Ramsay
Verifying Liveness Properties of ML Programs. CoRR (2020)
Martin Lester
What can a 1980s BASIC programming textbook teach us today? CoRR (2020)
Martin Lester
Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic. CoRR (2019)
Martin Lester
Control Flow Analysis for SF Combinator Calculus. VPT@ETAPS (2015)
Martin Lester, C.-H. Luke Ong, Max Schäfer
Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming CoRR (2013)
Martin Lester, Luke Ong, Max Schäfer
Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming. CSF (2013)