Paper on Typing Control Operators at PEPM ’21

The following short paper will be presented at The Workshop on Partial Evaluation and Program Manipulation.

  • Kenichi Asai, Youyou Cong, and Chiaki Ishio
    A Functional Abstraction of Typed Trails
2021-01-18.
→
←