Linear Contextual Metaprogramming with Session Types
The authors explore the integration of metaprogramming in a call-by-value linear lambda-calculus and sketch its extension to a session type system, allowing for the setup of code-producing servers that run in parallel with the rest of the program and provide code on demand, exchanged on typed channels.