home
lab
publications

2025_09_10

Created in September 10, 2025

2025

Our talk proposal “Temporal Resource Typing: Enriching Substructural Typing for Liveness Reasoning” has bee accepted at IWACO’25.

© Copyright 2025 Taro Sekiyama. Powered by Jekyll with al-folio theme. Hosted by GitHub Pages. Last updated: September 16, 2025.