Ichiro Hasuo
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Jurriaan Rotonce
- Kazuki Watanabeonce
- Sebastian Jungesonce
who talks about the same things
- Tachio Terauchi4 talks
- Takeshi Tsukada16 talks
- Eric Koskinen13 talks
- Ruyi Ji8 talks
- Zhenjiang Hu15 talks
- Hiroshi Unno18 talks
| title | conference | date |
|---|---|---|
| A Unifying Approach to Product Constructions for Quantitative Temporal Inference | OOPSLA 2025 | 2025-10-16 |
Presents a categorical recipe that turns a system and a temporal specification into a product via coalgebraic modelling and a natural distributive law, then… | ||
| Think Abstractly, Work Concretely | POPL 2021 | 2021-01-17 |
Uses while dt programs that replace continuous flows by infinitesimal jumps and gives a semantics via hyperreals and an ultrafilter so formulas satisfy the… | ||
| nothing matches | ||