Ren Fukaishi

According to our database, Ren Fukaishi authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Productivity Verification for Functional Programs by Reduction to Termination Verification.

Ren Fukaishi, Naoki Kobayashi, Ryosuke Sato

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024