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: Difference between revisions
From WG 2.11
Jump to navigationJump to search
Created page with "'''A lightweight approach to module generation''' by Yukiyoshi Kameyama (joint work with Takahisa Watanabe) The MetaML-style approach for code generation allows one to genera..." |
(No difference)
|
Latest revision as of 21:08, 27 May 2018
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.
