David Rogers is qualified to endorse.
Towards a Direct, By-Need Evaluator for Dependently Typed Languages
David Rogers: | Is registered as an author of this paper. Can endorse for cs.CY, cs.DC, cs.LG, cs.PL. (why?) |
David Rogers: | Is registered as an author of this paper. Can endorse for cs.CY, cs.DC, cs.LG, cs.PL. (why?) |