20 citations · 84 across the 17 of their papers we have counts for
1 paper · 1 filter
Takeshi Tsukada, Atsushi Igarashi
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fragme…