From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.7 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 56562BC69 for ; Thu, 18 Oct 2007 22:48:55 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANdjF0fAXQImh2dsb2JhbACOTgIBCAop X-IronPort-AV: E=Sophos;i="4.21,297,1188770400"; d="scan'208";a="3282637" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Oct 2007 22:48:55 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9IKmqWp005095 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 18 Oct 2007 22:48:55 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CANdjF0eA1gkB/2dsb2JhbAA X-IronPort-AV: E=Sophos;i="4.21,297,1188770400"; d="scan'208";a="4777254" Received: from courier.cs.helsinki.fi (HELO mail.cs.helsinki.fi) ([128.214.9.1]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Oct 2007 22:48:54 +0200 Received: from sbz-33.cs.helsinki.fi (sbz-33.cs.helsinki.fi [128.214.9.101]) (AUTH: PLAIN cs-relay, TLS: TLSv1/SSLv3,256bits,AES256-SHA) by mail.cs.helsinki.fi with esmtp; Thu, 18 Oct 2007 23:48:53 +0300 id 00080578.4717C6B5.000068B6 Received: by sbz-33.cs.helsinki.fi (Postfix, from userid 37211) id 6559F181A0; Thu, 18 Oct 2007 23:48:53 +0300 (EEST) Date: Thu, 18 Oct 2007 23:48:53 +0300 From: Lauri Alanko To: Caml-list List Subject: Re: [Caml-list] Help me find this pdf Message-ID: <20071018204853.GA24370@cs.helsinki.fi> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.4.2.3i X-Miltered: at discorde with ID 4717C6B4.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; lauri:01 alanko:01 0200,:01 lauri:01 wrote:01 caml-list:01 lazy:02 simonpj:02 thu:05 somewhat:05 papers:06 iki:06 long:06 indeed:07 useful:09 On Thu, Oct 18, 2007 at 11:52:26AM +0200, Tom wrote: > Not long ago I was searching the Internet on the topic "combining eager and > lazy evaluation", and have run over a paper which I obviously dismissed as > "not interesting enough", yet now I have realized that it could indeed be > useful, but am unable to find it. Another paper that touches the subject from a somewhat different direction is this one: http://research.microsoft.com/~simonpj/papers/not-not-ml/ Lauri