Kontextuelle lineare Metaprogrammierung und Sitzungstypen

Die Integration von Metaprogrammierung in ein call-by-value lineares Lambda-Kalkül und dessen Erweiterung um ein Sitzungstypsystem ermöglicht die Erstellung von Code-produzierenden Servern, die parallel zum restlichen Programm ausgeführt werden und auf Anfrage Code über getypte Kanäle austauschen.