Hanoi: A Typestate DSL for Java

Talk given at the Behavioural Types Workshop in Lisbon, April 2011. »
Iain McGinniss 

Loading comments...

                            Please log in to add your comment.
                        
Report abuse
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.
  • 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 ...
  • Typestate Languages: A Comparison
    Iain McGinniss
                            on
                            
    Talk given to Scottish Programming Languages Seminar on November 25th, 2010.

                More prezis by author
            
Popular presentations
  • Faith: the Final Frontier 
    Celebration Christian Church
                            on
                            
    http://www.celebrationchristianchurch.com/, celebration christian church is a local part of the body of Christ (The Church) in Northwest Portland Oregon. We are full of the Holy ...
  • Дзень адчыненых дзвярэй 2011-2012
    Igor Waraxe
                            on
                            
    Падрыхтоўка да паступлення ў Ліцэй БДУ
  • AIESEC
    Boldi
                            on
                            
    2009. aprilis
More popular prezis in Explore>