'. '

Talk:Stateful

From APIDesign

(Difference between revisions)
Jump to: navigation, search
(Comment provided by nardereplezem - via ArticleComments extension)
Current revision (20:41, 8 November 2011) (edit) (undo)
 
Line 15: Line 15:
--[[User:JaroslavTulach|JaroslavTulach]] 07:32, 3 May 2010 (UTC)
--[[User:JaroslavTulach|JaroslavTulach]] 07:32, 3 May 2010 (UTC)
-
 
-
</div>
 
-
== nardereplezem said ... ==
 
-
 
-
<div class='commentBlock'>
 
-
I recently saw this <http>//www.squidoo.com/burn-the-fat-feed-the-muscle-diet-book Burn the Fat book] . I've heard really good things about it. Tom Venuto wrote the book and it's a great weight loss method.
 
-
 
-
--nardereplezem 19:40, 1 November 2011 (CET)
 
-
</div>
 

Current revision

Comments on Stateful <comments />


paulo said ...

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)

Interesting. Do you have any recommended reading? I've just googled out SessionTypes.java only.

--JaroslavTulach 07:32, 3 May 2010 (UTC)
Personal tools
buy