[Haskell-cafe] Quickcheck research

Macías López macias.lopez at gmail.com
Tue Nov 22 12:09:58 CET 2011


I'm a Master's student in Computer Science. I have to make a project
involving some research, I'm very interested in Quickcheck and I wonder if
there are some areas which need work or if there is some potential research
topic related to it.

In particular I know that Erlang Quickcheck has been worked on a lot and
has some features like state machines or C bindings which may be useful to
the Haskell community.

I would appreciate any directions.

Macías López.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111122/86afd690/attachment.htm>

More information about the Haskell-Cafe mailing list