94.113.129.244 at 20:41, 8 November 2011 - 2011-11-08 20:41:02

←Older revision Revision as of 20:41, 8 November 2011
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>
 

109.73.77.151: Comment provided by nardereplezem - via ArticleComments extension - 2011-11-01 18:40:50

Comment provided by nardereplezem - via ArticleComments extension

←Older revision Revision as of 18:40, 1 November 2011
Line 16: Line 16:
--[[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>
</div>

JaroslavTulach at 07:32, 3 May 2010 - 2010-05-03 07:32:10

←Older revision Revision as of 07:32, 3 May 2010
Line 11: Line 11:
--paulo 23:07, 2 May 2010 (CEST)
--paulo 23:07, 2 May 2010 (CEST)
 +
 +
Interesting. Do you have any recommended reading? I've just googled out [http://www.ccs.neu.edu/home/tov/pubs/haskell-session-types/haskell-session/java/SessionTypes.java SessionTypes.java] only.
 +
 +
--[[User:JaroslavTulach|JaroslavTulach]] 07:32, 3 May 2010 (UTC)
 +
</div>
</div>

193.126.135.72: Comment provided by paulo - via ArticleComments extension - 2010-05-02 21:07:47

Comment provided by paulo - via ArticleComments extension

New page

<noinclude>Comments on [[Stateful]]
<comments />
----- __NOEDITSECTION__</noinclude>

== paulo said ... ==

<div class='commentBlock'>
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)
</div>