On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M18Kameyama
From WG 2.11
Jump to navigationJump to search
A lightweight approach to module generation by Yukiyoshi Kameyama (joint work with Takahisa Watanabe)
The MetaML-style approach for code generation allows one to generate terms in a type-safe way, while generating other syntactic entities such as types and modules is yet to be studied. In this talk, we discuss design space for the languages that allow generation of (code of) modules, and report our recent work on extending (core) MetaOCaml.
