Télécharger Linnk AI
•
Assistant de recherche
>
Connexion
Idée
-
선형 문맥적 메타프로그래밍
선형 문맥적 메타프로그래밍과 세션 타입
메타프로그래밍을 호출-의해-값 선형 람다 계산법에 통합하고 세션 타입 시스템으로 확장하는 방법을 탐구한다.
1