Two news. Good one - Conor McBride shows how to type interactive processes (section 7.3: Imperative Interfaces and Container Drivers).
Bad one - the type system involved is quite involved.
PS: also, I am not yet sure his idea indeed covers non-alternating games, so to say.
Monday, January 15, 2007
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment