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

Janis Voigtländer jv at informatik.uni-bonn.de
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



Jun.-Prof. Dr. Janis Voigtländer
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

More information about the Haskell-Cafe mailing list