Refining Semantics for Multi-stage Programming

Title
Refining Semantics for Multi-stage Programming
Authors
Keywords
Multi-stage programming, Abstract machine semantics, Explicit substitutions, Environment chains
Journal
Publisher
Elsevier BV
Online
2019-02-11
DOI
10.1016/j.jvlc.2018.10.006

Ask authors/readers for more resources

Reprint

Contact the author

Find Funding. Review Successful Grants.

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation