WG211/M18Kameyama

From WG 2.11
Revision as of 21:08, 27 May 2018 by Eric (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, 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.