Collaborated with:
Y.Kameyama
Talks about:
control (2) stage (2) program (1) multi (1) type (1) safe (1) oper (1)
Person: Junpei Oishi
DBLP: Oishi:Junpei
Contributed to:
Wrote 1 papers:
- GPCE-2017-OishiK #multi #programming #staging #type safety
- Staging with control: type-safe multi-stage programming with control operators (JO, YK), pp. 29–40.