Tweets by @JaroslavTulach'. '
Comments on Stateful <comments />
A guy i know in a university is doing some work with Session types for compilers.
These types specify a access protocol (sequence) and allow a compiler to statically verify if a api is being used correctly (wrt order of methods)
--paulo 23:07, 2 May 2010 (CEST)
Follow
A guy i know in a university is doing some work with Session types for compilers.
These types specify a access protocol (sequence) and allow a compiler to statically verify if a api is being used correctly (wrt order of methods)
--paulo 23:07, 2 May 2010 (CEST)