Tue 9 Jan 2018 14:30 - 15:00 at Crocker - Session 2-2 Chair(s): Kohei Suenaga

Program generation has been successful in generating high-performance code in highly modular way. Yet, programming-language supports for program generation needs further improvement. One important omission is the functionality of generating modules in a type safe way. Inoue et al. have addressed this issue in 2016, but investigated only a few examples. We propose a language as an extension of (small subset of) MetaOCaml in which one can manipulate and generate code of modules, and implement it based on a simple translation to an existing language. We show that our language solves the performance problem in functor applications and that it provides a suitable basis of hand-written custom code generators for modules.

Conference Day
Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

14:00 - 15:30
Session 2-2PEPM at Crocker
Chair(s): Kohei SuenagaGraduate School of Informatics, Kyoto University
14:00
30m
Talk
Partially Static Data as Free Extension of Algebras (Short Paper)
PEPM
Jeremy YallopUniversity of Cambridge, UK, Tamara von GlehnUniversity of Cambridge, Ohad KammarUniversity of Oxford
Pre-print
14:30
30m
Talk
Program Generation for ML Modules (Short Paper)
PEPM
Takahisa WatanabeUniversity of Tsukuba, Japan, Yukiyoshi KameyamaUniversity of Tsukuba, Japan
DOI
15:00
30m
Talk
Recursive Programs in Normal Form (Short Paper)
PEPM
Barry JayUniversity of Technology Sydney
DOI