Publications (4)
What can a 1980s BASIC programming textbook teach us today?
Martin Lester
Elementary Basic, published in 1982, is an introductory programming text with a novel central conceit, namely that the fictional 19th century detective Sherlock Holmes used a compu…
Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming
Martin Lester, Luke Ong, Max Schaefer
Web applications written in JavaScript are regularly used for dealing with sensitive or personal data. Consequently, reasoning about their security properties has become an importa…
Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic
Martin Lester
Recent work on combinatory logic demonstrates a compositional translation from lambda calculus that gives meaning to open terms. As the meaning of open terms is a key difficulty in…
Control Flow Analysis for SF Combinator Calculus
Martin Lester
Programs that transform other programs often require access to the internal structure of the program to be transformed. This is at odds with the usual extensional view of functiona…