Jinxu Zhao
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Revisiting Iso-Recursive Subtyping | SPLASH 2022 | 2022-12-05 |
Presents a new declarative finite unfolding specification that says two mu-types are subtypes iff all same-depth finite unfoldings are subtypes, proves the… | ||
| Revisiting Iso-Recursive Subtyping | OOPSLA 2020 | 2020-11-15 |
Proposes that iso-recursive subtyping is equivalent to checking all finite n-times unfolding inclusions, and then shows an algorithmic reduction: only 1- and… | ||
| nothing matches | ||