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

[Janis Voigtländer]

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/attachments/20091218/18e34dd1/TerminationCompetition2009liveontheweb-0001.eml