From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id D98ACBBAF for ; Fri, 29 Oct 2010 17:19:57 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AugEAIeCykxQW+UMgWdsb2JhbACTW415FQEBFiIivnOFSASKU4V0 X-IronPort-AV: E=Sophos;i="4.58,259,1286143200"; d="scan'208";a="85749618" Received: from lo.gmane.org ([80.91.229.12]) by mail1-smtp-roc.national.inria.fr with ESMTP; 29 Oct 2010 17:19:57 +0200 Received: from list by lo.gmane.org with local (Exim 4.69) (envelope-from ) id 1PBqkE-000406-QK for caml-list@inria.fr; Fri, 29 Oct 2010 17:19:54 +0200 Received: from avelizy-155-1-73-128.w90-2.abo.wanadoo.fr ([90.2.24.128]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 29 Oct 2010 17:19:54 +0200 Received: from sylvain by avelizy-155-1-73-128.w90-2.abo.wanadoo.fr with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 29 Oct 2010 17:19:54 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Sylvain Le Gall Subject: Re: Generalized Algebraic Datatypes Date: Fri, 29 Oct 2010 15:19:47 +0000 (UTC) Message-ID: References: <904846.44200.qm@web111513.mail.gq1.yahoo.com> X-Complaints-To: usenet@dough.gmane.org X-Gmane-NNTP-Posting-Host: avelizy-155-1-73-128.w90-2.abo.wanadoo.fr User-Agent: slrn/pre1.0.0-18 (Linux) X-Spam: no; 0.00; le-gall:01 datatypes:01 syntax:01 cheers:01 wrote:01 xleroy:01 algebraic:03 talks:03 jacques:03 generalized:04 inria:06 describe:07 regards:20 sylvain:22 sylvain:22 On 29-10-2010, Jacques Le Normand wrote: > > I didn't know about this alternate syntax; can you please describe it? > cheers > --Jacques It is on page 14: http://gallium.inria.fr/~xleroy/talks/cug2008.pdf And around 14:22 in the video: http://video.google.com/videoplay?docid=1704671501085578312&hl=en# Regards Sylvain Le Gall