Typestate Languages: A Comparison
Talk given to Scottish Programming Languages Seminar on November 25th, 2010.
»
More presentations by Iain McGinniss
Experiments in Standard Library Design with Plaid
Iain McGinniss on
Talk given at the Scottish Programming Languages Seminar on March 15th, 2012.
Google Belay: Authorization Unbound
Iain McGinniss on
Talk given at the University of Glasgow on 2012-05-04. An overview of the Belay project, and how it aims to simplify user and third party ...
Typestate Languages
Iain McGinniss on
The means of expressing a concept is often as important as the concept itself. In this presentation we review the methods of expressing typestate, and ...