(Apologies if you receive multiple copies of this message)
SECOND CALL FOR PAPERS
[ Submission deadline: September 15, 2003 ]
***
International Workshop on Software Verification and Validation (SVV 2003)
In Conjunction with
International Conf.
On Fri, 5 Sep 2003, Simon Marlow wrote:
> ... Claiming a lock on a file is
> > easy in C (well,
> > it takes 18 lines...), but there's nothing in the standard Haskell
> > libraries that can do it. So I borrowed a little C code from
> > the net, and
> > called it via the FFI.
>
> Locking support is
Another tricky one. There are at least two difficulties.
1. Consider the simpler function
foo :: Fc Bool b => [b] -> Int
foo (x:xs) = x
Since b must be Int, you might argue that this function is OK, but GHC
rejects it because it unifies the signature type variable b. This is a
"
Dear Haskellers
I am pleased to announce HSQL 1.0. The package is
intended to give access to PostgresSQL, MySQL and ODBC
databases. The HSQL is a part of HToolkit project but
like GIO and Port it can be distributed as separate
bundle.
This is the first public release but as far as
--- Martin Norbäck <[EMAIL PROTECTED]> wrote:
> mån 2003-09-08 klockan 21.21 skrev Krasimir Angelov:
> > Dear Haskellers
> >
> > I am pleased to announce HSQL 1.0. The
> package is
> > intended to give access to PostgresSQL, MySQL and
> ODBC
> > databases. The HSQL is a part of HToolkit
> It looks interesting. Where can I download and try
> it?
Oops. I forget to post the url.
http://htoolkit.sourceforge.net
__
Do you Yahoo!?
Yahoo! SiteBuilder - Free, easy-to-use web site design software
http://sitebuilder.yahoo.com
_
==
CALL FOR PAPERS
CLIMA IV
Fourth International Workshop on Computational Logic in Multi-Agent Systems
January
Dear Haskellers,
This year's Haskell Workshop, held in Uppsala as a part of PLI, traditionally
concluded with a discussion on the future of Haskell. This time an attempt
was made to structure the discussion a little bit by focusing on two specific
topics, and by having each topic being introduced