From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 49EFCBBAF for ; Thu, 17 Jun 2010 20:33:25 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkcEAEIHGkxMDQ1Ve2dsb2JhbACSKjCMNQEBFiIDH7EWggaFWIh9AQQEAYUVBINS X-IronPort-AV: E=Sophos;i="4.53,432,1272837600"; d="scan'208";a="52597257" Received: from n1d.bullet.mail.ac4.yahoo.com ([76.13.13.85]) by mail3-smtp-sop.national.inria.fr with SMTP; 17 Jun 2010 20:33:24 +0200 Received: from [76.13.13.26] by n1.bullet.mail.ac4.yahoo.com with NNFMP; 17 Jun 2010 18:33:23 -0000 Received: from [98.137.27.132] by t3.bullet.mail.ac4.yahoo.com with NNFMP; 17 Jun 2010 18:33:23 -0000 Received: from [98.137.27.221] by t4.bullet.mail.gq1.yahoo.com with NNFMP; 17 Jun 2010 18:32:23 -0000 Received: from [127.0.0.1] by omp131.mail.gq1.yahoo.com with NNFMP; 17 Jun 2010 18:26:50 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 139754.32051.bm@omp131.mail.gq1.yahoo.com Received: (qmail 38559 invoked by uid 60001); 17 Jun 2010 18:26:50 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1276799210; bh=9OE1PwuKmRY4t02o3yT3lzG+hC8F0IVVIpUU4nLptNk=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:MIME-Version:Content-Type; b=kdENgXTu/Ar1Esotx9vj6HhBsv6KGGlgP0A7EvTlstgPAkIKjIZDh2AKDnFa3z6bOBtiDvrCqOAH4kCfxbD4gffCf9QFBynDqn0VdxF8N6lWGwCC5oHsS4dmEfDM1Z+yUxTOJicf6rhc2NVXSW5GPFHquyRtQAoYTLms4eBddJA= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:MIME-Version:Content-Type; b=JEeQ+P/56BaJdw5d3sOdKRFYcf3zhrezJ1AJ0MvvpFS4nJ3QNMnC+3HbzofcJX1NryTQ68jbY9LP8smpQ52ZBE8+Ikx231LqbEUYVjw2wrrw46ClNFdVoIGir1N2YWwGPBvFP2FPHhfgcfqoHqm/G/71h7Nbd8oao6mbY6O8bL8=; Message-ID: <29817.37781.qm@web113719.mail.gq1.yahoo.com> X-YMail-OSG: oPbC2cMVM1lETG5I_t5sspXzvmlaTrUQ6GwV_eOl4WSVwz1 CdrAIqGa0G12W8n.J5G.iZt8WzJIYVLTJ_4C1gW7ul0RSRgizDmbohvJMWam j1pdqG06uagBfUZv0wLRCy6DZ0FeXzTu0XxS252LzPt8CQPqLmMjn96bKs2F T2A7MXksyUohkYo4dxQF_aRjphnv6NgAg1Ty9OJWsyx9tuaOzfyv2DIyPmIi W6yOh2LL1hGJIW.G8YmRPtWxcQi2mIIdAcxE2njQtJIs.D53vG4ODwAzkLLh O43dhAJxd6pSpY4d4g2CmllLoWR4gFLy6ZKRo9q1oMlnNQcwMeleXYQoQJqv a6QV6TgPJbxfRjsXbNQK1EGY- Received: from [66.93.167.248] by web113719.mail.gq1.yahoo.com via HTTP; Thu, 17 Jun 2010 11:26:49 PDT X-Mailer: YahooMailClassic/11.1.4 YahooMailWebService/0.8.103.269680 Date: Thu, 17 Jun 2010 11:26:49 -0700 (PDT) From: Simon P Subject: Seeking (Meta)Ocaml / compiler writing help To: caml-list@inria.fr Cc: metaocaml-users@cs.rice.edu MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam: no; 0.00; ocaml:01 compiler:01 compiler:01 ocaml:01 haskell:01 c-like:01 inlining:01 compilation:01 metaocaml:01 partial:01 passing:05 converting:05 startup:05 style:93 translation:07 Hi, We are an early stage (still exploring) startup looking for some help with a small proof-of-concept compiler project using Ocaml or Haskell. We want to build a small domain specific language and convert it to a C-like language. In the process of this source-to-source translation, we want to try partial evaluation followed by relatively simple optimizations (dead code elimination, common subexpression elimination, constant folding, inlining). We are also considering some other domain specific transformations that may involve converting (hopefully automatically) code to continuation passing style. We are especially interested in exploring stage compilation using MetaOcaml for this project. Contact us at psimonp_AT_yahoo_DOT_com if interested in helping out. Thanks, Simon