| Program |
 |
|
|
|
| Find in Program |
|
|
|
|
| Page |
|
|
|
|
| Basket |
|
|
view, help
"GPCE: First MetaOCaml Workshop"
|
|
|
|
GPCE: First MetaOCaml Workshop
Governor General Suite D
Monday, 8:30, full day | 7 | · | 8 | · | 9 | · | 10 | · | 11 | · | 12 | · | 13 | · | 14 | · | 15 | · | 16 | · | 17 | · | 18 | · | 19 | · | 20 | · | 21 |
Walid Taha, Rice University
MetaOCaml is a multi-stage extension of the widely used functional
programming language OCaml. As such, it provides a generic core for
expressing staging, partial evaluation, and macro-expansion. The
workshop provides a forum for discussing experience with MetaOCaml
as well as possible future developments for the language.
Scope: includes all aspects of the design, semantics, theory, application,
and implementation of MetaOCaml. The workshop welcomes reports on novel
applications (interpreters, JITs), extensions (macros, new constructs,
offshoring translations), implementation techniques (compilation, RTCG),
support (debugging, profiling), educational use, as well as basic theory
(staging annotations, static typing, static analysis, environment
classifiers, etc).
Each submission will be reviewed by at least three members of the PC. The
PC will work to provide detailed and constructive comments to the authors.
The workshop will only have an informal proceedings, and is intended to be
closest spirit to the Haskell, ML, and Scheme workshops. Given the format
of the workshop, members of the PC will also be encouraged to submit to
the workshop.
Further information about the workshop can be found at
http://metaocaml.org/workshop04/.
|
