Kazutaka Matsuda
where else to find them
facebook:kazutaka.matsuda.5
what they talk about
where they keep going back
- ICFP2 editions2020–2023
on a stage with
- Meng Wang3×
- Cristina Davidonce
- Masaomi Yamaguchionce
all 5 in the filters
who talks about the same things
- Meng Wang16 talks
- Zhenjiang Hu15 talks
- Justin Lubin7 talks
- Takeshi Tsukada16 talks
- Yusuke Matsushita7 talks
- Nadia Polikarpova24 talks
| title | conference | date |
|---|---|---|
| Embedding by Unembedding | ICFP 2023 | 2023-09-04 |
Presents a concrete recipe that turns a tagless‑final (HOAS) interface into de Bruijn terms via embedding by unembedding, exposing when HOAS fails and how to… | ||
| Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches | OOPSLA 2021 | 2021-10-17 |
Synbit synthesizes well behaved bidirectional programs in HOBiT from a unidirectional get plus a few I/O examples by converting get into a partial sketch… | ||
| Sparcl: A Language for Partially-Invertible Computation | ICFP 2020 | 2020-08-23 |
A new language, SPARCL, implements partially-invertible computation with linear types and proves that composing such pieces yields correct invertibility where… | ||
| nothing matches | ||