선형 문맥적 메타프로그래밍과 세션 타입

메타프로그래밍을 호출-의해-값 선형 람다 계산법에 통합하고 세션 타입 시스템으로 확장하는 방법을 탐구한다.