線形コンテキストメタプログラミングとセッション型

コンテキストモーダル型理論と線形ラムダ計算の統合により、コード生成サーバーを並行して実行し、型付きチャネルを介してオンデマンドでコードを提供することができる。