요약

e-graph 내에서 엄격한 $\alpha$ 정규형 변수를 지원하기 위한 새로운 접근 방식을 제안합니다. 기능적 리프팅 결합자와 슬림화 비트벡터를 활용하여 변수 처리를 최적화하는 방법을 다룹니다.

핵심 포인트

• e-graph 내 $\alpha$ 정규형 변수 지원을 위한 리프팅 기법 제안
• 기능적 리프팅 결합자(functional lifting combinator) 개념 도입
• 정수 식별자를 슬림화 비트벡터로 확장하여 구현
• slotted e-graphs 및 Co-de Bruijn syntax 개념 활용