From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA20794; Mon, 7 Jun 2004 12:03:21 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA20754 for ; Mon, 7 Jun 2004 12:03:16 +0200 (MET DST) Received: from roadrunner.doc.ic.ac.uk (roadrunner.doc.ic.ac.uk [146.169.1.193]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i57A3FSH011164 for ; Mon, 7 Jun 2004 12:03:15 +0200 Received: from altair.doc.ic.ac.uk ([146.169.6.123] helo=doc.ic.ac.uk) by roadrunner.doc.ic.ac.uk with esmtp (Exim 4.30) id 1BXGy5-00064z-Ow; Mon, 07 Jun 2004 11:03:01 +0100 Message-ID: <40C43D57.7080601@doc.ic.ac.uk> Date: Mon, 07 Jun 2004 11:03:03 +0100 From: Cristiano Calcagno User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.3) Gecko/20030312 X-Accept-Language: en-us, en MIME-Version: 1.0 To: amast@cs.utwente.nl, church-announce@types.bu.edu, fme@mailbase.ac.uk, mercury-ads@cs.mu.OZ.AU, lprolog@cs.umn.edu, ecoop-info@ecoop.org, eatcs-it@cs.unibo.it, PL-L-request@LISTS.UFL.EDU, clean-list@cs.kun.nl, compulog@doc.imperial.ac.uk, compilers@iecc.com, clp@comp.nus.edu.sg, appsem@tcs.informatik.uni-muenchen.de, caml-list@pauillac.inria.fr, categories@mta.ca Subject: [Caml-list] [pept:199] CFP: MetaOCaml Workshop Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Miltered: at concorde with ID 40C43D63.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; metaocaml:01 metaocaml:01 2004:99 2004:99 vancouver:99 multi-stage:01 generic:01 expressing:01 debugging:01 annotations:01 haskell:01 outcomes:01 challenges:99 sigs:01 housing:99 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk URL: http://www.metaocaml.org/workshop04/ Submission deadline: July 1, 2004 Notification of acceptance: August 31, 2004 Camera ready: October 20, 2004 A half-day tutorial will also be given the day before (see URL). ------------------------------------------------------------------ MetaOCaml Workshop GPCE'04 Workshop (Vancouver, Canada, October 25th, 2004) MetaOCaml is a multi-stage extension of the widely used functional programming language OCaml. It provides a generic core for expressing macros, staging, and partial evaluation. The workshop is a forum for discussing experience with using MetaOCaml as well as possible future developments for the language. The scope of the workshop includes all aspects of the design, semantics, theory, application, and implementation of MetaOCaml. The workshop welcomes reports on - novel applications (especially interpreters), - extensions (macros, new language constructs, offshoring translations), - implementation techniques (compilation, RTCG), support (debugging, profiling), - educational use, - basic theory (staging annotations, static typing, static analysis, environment classifiers, etc). Each submission will be reviewed by at least three members of the Program Committee (PC). The PC will work to provide detailed and constructive comments to the authors. The workshop will only have informal proceedings, and is intended to be close in spirit to the Haskell, ML, and Scheme workshops. Based on author requests and PC decisions, authors will be given either 25 minute or 15 minute slots to present their ideas, and both will be followed by 15 minutes of questions and discussion. At the end of the workshop, one hour will be allocated to an open discussion to review the outcomes of the meeting, and to discuss future challenges and directions for MetaOCaml. For uniformity, authors are encouraged to use the latest ACM SIGS conference style file (option 1). We also request that submissions be limited to 12 pages in this style. Registration for the workshop is part of registering for GPCE'04. The event is co-located with OOPSLA'04, which already provides housing and transportation information. Program Committee * Zine El-Abidine Benaissa, Intel * Kedar Swadi, Rice U. * Cristiano Calcagno, Imperial C. * Walid Taha, Rice U. (Chair) * Rowan Davies, U. W. Australia * Todd Veldhuizen, Chalmers U. * Ralf Hinze, U. Bonn * Stephanie Weirich, U. Penn * Robert Glück, DIKU & Waseda U. * Hongwei Xi, Boston U. * Oleg Kiselyov, FNMOC -- ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners