Write a Blog >>
Tue 19 Jan 2016 17:00 - 17:20 at Room Harbor View - Staging Chair(s): Jacques Carette

This paper relates 2-level lambda-calculus and staged lambda-calculus (restricted to 2 stages) to obtain monovariant binding-time analysis for lambda-calculus that produces the output in the form of staging annotations. The relationship between the two lambda-calculi provides us with a precise and easy instruction on how to implement binding-time analysis to be incorporated in the staged lambda-calculus. It forms a basis for introducing binding-time analysis to full-fledged staged languages such as MetaOCaml.

Tue 19 Jan

pepm-2016-main
16:00 - 17:40: PEPM - Staging at Room Harbor View
Chair(s): Jacques CaretteMcMaster University
pepm-2016-main16:00 - 16:30
Talk
Jeremy YallopUniversity of Cambridge, UK
DOI
pepm-2016-main16:30 - 17:00
Talk
Jon Brandvein, Yanhong A. LiuStony Brook University, USA
DOI
pepm-2016-main17:00 - 17:20
Talk
Kenichi AsaiOchanomizu University
DOI
pepm-2016-main17:20 - 17:40
Talk
Jun InoueNational Institute of Advanced Industrial Science and Technology, Japan, Oleg Kiselyov, Yukiyoshi Kameyama
DOI