Typestate Languages
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 present Hanoi, a new typestate constraint language.
»
More presentations by Iain McGinniss
Hanoi: A Typestate DSL for Java
Iain McGinniss on
Talk given at the Behavioural Types Workshop in Lisbon, April 2011.
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 ...