Stump, Aaron
- Syntax and Semantics of Cedille
2018/06/12 by Stump, Aaron, Jenkins, Christopher · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Generic Zero-Cost Reuse for Dependent Types
2018/03/21 by Diehl, Larry, Firsov, Denis, Stump, Aaron · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Spine-local Type Inference
2018/05/25 by Jenkins, Christopher, Stump, Aaron · 1 citation
#D.3.3 #FOS: Computer and information sciences #Programming Languages (cs.PL)