37 citations · 96 across the 19 of their papers we have counts for
1 paper · 1 filter
Delia Kesner
Many different systems with explicit substitutions have been proposed to implement a large class of higher-order languages. Motivations and challenges that guided the development o…