Refining Semantics for Multi-stage Programming

标题
Refining Semantics for Multi-stage Programming
作者
关键词
Multi-stage programming, Abstract machine semantics, Explicit substitutions, Environment chains
出版物
出版商
Elsevier BV
发表日期
2019-02-11
DOI
10.1016/j.jvlc.2018.10.006

向作者/读者发起求助以获取更多资源

Reprint

联系作者

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now