Return-Path: Delivered-To: pop1021@pizza-005.intraserver.de Received: (qmail 19705 invoked by uid 5018); 4 Nov 2005 11:21:20 -0000 Delivered-To: vdom5018-wolfgang@jeltsch.net Received: (qmail 19702 invoked from network); 4 Nov 2005 11:21:20 -0000 Received: from nproxy.gmail.com (64.233.182.200) by pizza-005.intraserver.de with SMTP; 4 Nov 2005 11:21:20 -0000 Received: by nproxy.gmail.com with SMTP id l37so147432nfc for ; Fri, 04 Nov 2005 03:21:21 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; =?utf-8?q?h=3Dreceived=3Amessage-id=3Adate=3Afrom=3Ato=3Asubject=3Ain-reply?= =?utf-8?q?-to=3Amime-version=3Acontent-type=3Acontent-transfer-encoding=3Ac?= =?utf-8?q?ontent-disposition=3Areferences=3B=09b=3DCprJt/wfeFDz4CqPL0cUJ7rx?= =?utf-8?q?swQMEpqCTvEuGire9UdlvczPcBk9rMUSrOf3KNFQMOOsU7SC6Xrsy6ePb/m21f0Rw?= =?utf-8?q?fJTqEWrDMJjLth6eUsYolOvxEpustCChahwJwLmEUxGdtBcHWGlG8D2CLIsY3EIaO?= =?utf-8?q?NJYAAmm9TyYtOLe34=3D?= Received: by 10.49.5.19 with SMTP id h19mr609038nfi; Fri, 04 Nov 2005 03:21:21 -0800 (PST) Received: by 10.48.237.6 with HTTP; Fri, 4 Nov 2005 03:21:21 -0800 (PST) Message-ID: <404396ef0511040321t5d9ead49u3ea60a3a46cc4da6@mail.gmail.com> Date: Fri, 4 Nov 2005 11:21:21 +0000 From: Neil Mitchell To: Wolfgang Jeltsch Subject: Re: [Haskell] formal verification for functional programming languages In-Reply-To: <200511041213.04185.wolfgang@jeltsch.net> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <200511041213.04185.wolfgang@jeltsch.net> Hi Wolfgang, Not sure if this might interest you: http://www-users.cs.york.ac.uk/~ndm/projects/patternmatch.php Thanks Neil On 11/4/05, Wolfgang Jeltsch wrote: > Hello, > > where can I find information about formal verification techniques and too= ls > for functional programming languages? Both introductionary texts and cur= rent > research papers etc. are welcome. > > Best wishes, > Wolfgang > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell >