HCSS 2008

file

Visible to the public Software Development in Haskell

Submitted by Launchbury on Tue, 08/16/2011 - 4:45pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Visible to the public Automated Synthesis of SAT Solvers

Submitted by TimTh on Tue, 08/16/2011 - 4:37pm. Contributor:

Presented as part of the 2008 HCSS conference.