Chamau: an ML Dialect with Quotations, Grammars and Exensible Syntax (bibtex)
by Daniel de Rauglaudre, Michel Mauny
Abstract:
We present Chamau, a dialect of ML enriched with support for concrete syntax manipulations. Chamau has the following priginal features: quotations, allowing the programmer to give a user-defined syntax to arbitrary values, and extensible grammars as a library meant to ease parser definitions. Moreover, Chamau's concrete syntax is itself extensible, which makes it possible to specialize the language to applications domains. Chamau is based on the Caml Special Light system, and therefore features an extremely efficient compiler and an expressive higher order system.
Reference:
D. d. Rauglaudre, M. Mauny, "Chamau: an ML Dialect with Quotations, Grammars and Exensible Syntax", in Workshop on Compiler Techniques for Application Domain Languages and Extensible Language Models, 1996.
Bibtex Entry:
@InProceedings{Mauny-de-Rauglaudre-1996,
  author = 	 {Daniel de Rauglaudre and Michel Mauny},
  title = 	 {Chamau: an {ML} Dialect with Quotations, Grammars and
                  Exensible Syntax}, 
  booktitle =    {Workshop on Compiler Techniques
                  for Application Domain Languages and Extensible
                  Language Models},
  url = {http://www.mauny.net/data/papers/mauny-de-rauglaudre-1996.pdf},
  abstract = {We present Chamau, a dialect of ML enriched with support
                  for concrete syntax manipulations. Chamau has the
                  following priginal features: quotations, allowing
                  the programmer to give a user-defined syntax to
                  arbitrary values, and extensible grammars as a library
                  meant to ease parser definitions. Moreover, Chamau's
                  concrete syntax is itself extensible, which makes it
                  possible to specialize the language to applications
                  domains.
                  Chamau is based on the Caml Special Light system,
                  and therefore features an extremely efficient
                  compiler and an expressive higher order system.},
  month =        apr,
  year = 	 1996
}
Powered by bibtexbrowser