[Haskell-cafe] [Fwd: Termination Competition 2009 live on the web!]

Fri Dec 18 03:34:35 EST 2009

Hi all,

This contest should be of interest to Haskellers. There is an "FP
Category" in which termination of Haskell programs is automatically
checked. The current state can be observed by following the
corresponding "View Results" link from the page

http://termcomp.uibk.ac.at/termcomp/competition/categoryList.seam?competitionId=101722&cid=51

Ciao,
Janis.

-- 
Jun.-Prof. Dr. Janis Voigtländer
http://www.iai.uni-bonn.de/~jv/
mailto:jv at iai.uni-bonn.de

-------------- next part --------------
An embedded message was scrubbed...
From: Juergen Giesl <giesl at informatik.rwth-aachen.de>
Subject: Termination Competition 2009 live on the web!
Date: Thu, 17 Dec 2009 12:05:40 +0100
Size: 5770
Url: http://www.haskell.org/pipermail/haskell-cafe/attachments/20091218/18e34dd1/TerminationCompetition2009liveontheweb.eml