From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id E11E3BB81 for ; Wed, 20 Jul 2005 18:14:09 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6KGE9C0011803 for ; Wed, 20 Jul 2005 18:14:09 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA01244 for ; Wed, 20 Jul 2005 18:14:09 +0200 (MET DST) Received: from mail.eecs.harvard.edu (bowser.eecs.harvard.edu [140.247.60.24]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6KGE8CG011783 for ; Wed, 20 Jul 2005 18:14:08 +0200 Received: from localhost (localhost.eecs.harvard.edu [127.0.0.1]) by mail.eecs.harvard.edu (Postfix) with ESMTP id 7E18E3659E; Wed, 20 Jul 2005 12:13:57 -0400 (EDT) Received: from mail.eecs.harvard.edu ([127.0.0.1]) by localhost (bowser.eecs.harvard.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 91738-06; Wed, 20 Jul 2005 12:13:57 -0400 (EDT) Received: from labrador.eecs.harvard.edu (labrador.eecs.harvard.edu [140.247.60.247]) by mail.eecs.harvard.edu (Postfix) with ESMTP id 5314E36582; Wed, 20 Jul 2005 12:13:57 -0400 (EDT) Received: by labrador.eecs.harvard.edu (Postfix, from userid 32074) id 323D22AB0EA; Wed, 20 Jul 2005 12:13:57 -0400 (EDT) To: "Nicolas Cannasse" Cc: Subject: Re: [Caml-list] Pattern Matching Papers In-reply-to: <002001c587d6$5d0c1070$19b0e152@warp> References: <002001c587d6$5d0c1070$19b0e152@warp> Comments: In-reply-to "Nicolas Cannasse" message dated "Wed, 13 Jul 2005 20:12:00 +0200." Date: Wed, 20 Jul 2005 12:13:55 -0400 From: Norman Ramsey Message-Id: <20050720161357.323D22AB0EA@labrador.eecs.harvard.edu> X-Virus-Scanned: by EECS Amavis at eecs.harvard.edu X-Miltered: at nez-perce with ID 42DE7851.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42DE7850.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ml-like:01 compilation:01 unpublished:01 unpublished:01 sml:01 abstract:01 eecs:01 tree:02 pattern:03 pattern:03 tutorials:03 tutorial:04 papers:05 papers:05 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 > Hi list, > > I'm interested in implementing pattern matching in a ML-like language, and I > need some resources on the following topics : > - pattern matching completeness check > - pattern matching compilation > Papers, tutorials and source code are welcome. In addition to other papers mentioned on this list, there are two unpublished papers that may have some value: Baudinet, Marianne and David MacQueen. 1985 (December). Tree pattern matching for ML (extended abstract). Unpublished manuscript, AT&T Bell Laboratories. Scott, Kevin and Norman Ramsey. 2000 (May). When do match-compilation heuristics matter? Technical Report CS-2000-13, Department of Computer Science, University of Virginia. My paper with Kevin Scott has some tutorial stuff in it. If you like, I can try to dig out source code, but it's in SML and may not be so useful. Norman