Ryoya Arai

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Lambda Calculus

Development Tools

Transaction Costs

Top Venues

Publications

Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki
A Debugger-Cooperative Higher-Order Contract System in Python. APLAS (2016)