Finally Tagless, Partially Evaluated -- Tagless Staged Interpreters for Simpler Typed Languages

by Jacques Carette , Oleg Kiselyov , Chung-chieh Shan
Citations:32 - 7 self