Talk:Stateful - Revision history

94.113.129.244 at 20:41, 8 November 2011

94.113.129.244 — Tue, 08 Nov 2011 20:41:02 GMT

←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

109.73.77.151 — Tue, 01 Nov 2011 18:40:50 GMT

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

JaroslavTulach — Mon, 03 May 2010 07:32:10 GMT

←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

193.126.135.72 — Sun, 02 May 2010 21:07:47 GMT

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>