• Cisternino Antonio and Gervasi Vincenzo, A runtime for Multi-Stage Programming
• Morten Rhiger, Type Soundness for Open and Closed Code Fragments
• Dmitry Lomov and Andrey Serebryansky, Dynamic Caml: a Dynamic Code Generation Library for Objective Caml
• Tim Sheard, Playing with Type Systems
• Cisternino Antonio and Gervasi Vincenzo, Meta-Programming without Quasi-Quotation
• Ian Lynagh, Typing Template Haskell: Soft Types
• Albert Cohen and Christoph Herrmann, Towards a high-productivity and high-performance marshaling library for compound data

• 9:00 - 10:00 ICFP invited talk

• 10:15 - 10:30 Opening

• 10:30 - 11:00 Break

• 11:00 - 11:30 Playing with Type Systems
  Tim Sheard
• 11:30 - 12:00 Typing Template Haskell: Soft Types
  Ian Lynagh
• 12:00 - 12:30 Type Soundness for Open and Closed Code Fragments
  Morten Rhiger
• 12:30 - 13:00 Discussion session on Types.

• 13:00 - 14:30 Lunch

• 14:30 - 15:00 Dynamic Caml: a Dynamic Code Generation Library for Objective Caml
  Dmitry Lomov and Andrey Serebryansky
• 15:00 - 15:30 A runtime for Multi-Stage Programming, and Meta-Programming without Quasi-Quotation
  Cisternino Antonio and Gervasi Vincenzo
• 15:30 - 16:00 Discussion session on Implementation issues

• 16:00 - 16:30 Break

• 16:30 - 17:00 Towards a high-productivity and high-performance marshaling library for compound data
  Albert Cohen and Christoph Herrmann
• 17:00 - 18:00 Discussion session (open).

• 18:00 Closing

CALL FOR PAPERS (Expired)

MetaOCaml Workshop

GPCE'04 Workshop (Vancouver, Canada, October 25th, 2004)

A half-day tutorial will also be given the day before.

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. As such, it also provides unique support for building aspect weavers in a statically typed setting. 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 and aspect weavers),
• 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. We ask that papers be submitted through the following online submission page (Deadline expired). 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.

Important Dates

(EXTENDED) Submissin deadline: July 31, 2004 until midnight GMT (Please use online form)
Notification of acceptance: August 31, 2004
Final versions posted at the workshop sites: October 20, 2004

Program Committee

Zine El-Abidine Benaissa, Intel	Kedar Swadi, Rice University
Cristiano Calcagno, Imperial College	Walid Taha, Rice University (Chair)
Rowan Davies, University of Western Australia	Todd Veldhuizen, Chalmers University
Ralf Hinze, Universität Bonn	Stephanie Weirich, University of Pennsylvania
Robert Glück, DIKU and Waseda University	Hongwei Xi, Boston University
Oleg Kiselyov, FNMOC

FINAL CALL FOR PAPERS (EXTENDED)

Second MetaOCaml Workshop

GPCE'05 Workshop (Wednesday Sep 28, 2005, Tallinn, Estonia)

[A full-day tutorial will also be given the day before.]

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. As such, it also provides unique support for building aspect weavers in a statically typed setting. 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 and aspect weavers),
• 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, either of which 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. We ask that papers be submitted through the following online submission page . Registration for the workshop is part of registering for GPCE'05. The event is co-located with TFP 2005 and ICFP 2005, which already provides housing and transportation information.

Important Dates

Submission deadline (EXTENDED): June 24, 2005 until midnight GMT (Please use online form)
Notification of acceptance: July 11, 2005
Final versions posted at the workshop sites: September 21, 2005

Program Committee

Cristiano Calcagno, Imperial College	Emir Pasalic, Rice University
Rowan Davies, University of Western Australia	Jeremy Siek, Indiana University, Bloomington
Ralf Hinze, Universität Bonn	Yannis Smaragdakis , Georgia Tech
Oleg Kiselyov, FNMOC, Monterey, CA, USA	Kedar Swadi, Rice University (Chair)
Christopher League, Long Island University	Walid Taha, Rice University
Xavier Leroy, INRIA, Paris	Stephanie Weirich, University of Pennsylvania
	Hongwei Xi, Boston University

CALL FOR PAPERS (Expired)

MetaOCaml Workshop

GPCE'04 Workshop (Vancouver, Canada, October 25th, 2004)

A half-day tutorial will also be given the day before.

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. As such, it also provides unique support for building aspect weavers in a statically typed setting. 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 and aspect weavers),
• 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. We ask that papers be submitted through the following online submission page (Deadline expired). 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.

Important Dates

(EXTENDED) Submissin deadline: July 31, 2004 until midnight GMT (Please use online form)
Notification of acceptance: August 31, 2004
Final versions posted at the workshop sites: October 20, 2004

Program Committee

Zine El-Abidine Benaissa, Intel	Kedar Swadi, Rice University
Cristiano Calcagno, Imperial College	Walid Taha, Rice University (Chair)
Rowan Davies, University of Western Australia	Todd Veldhuizen, Chalmers University
Ralf Hinze, Universität Bonn	Stephanie Weirich, University of Pennsylvania
Robert Glück, DIKU and Waseda University	Hongwei Xi, Boston University
Oleg Kiselyov, FNMOC