Isao Sasano
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- PEPM2 editions2020–2021
on a stage with
- Chiaki Ishioonce
- Kenichi Asaionce
- Kwanghoon Choionce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Negative Bounds for Avoiding Conflicts in Implementing Traits in Rust | HATRA 2025 | 2025-10-14 |
Introduces negative bounds (a minus operator on trait bounds) and a detection algorithm that checks unified type params plus the overlap of positive and… | ||
| Server-Side Computation of Package Dependencies in Package-Management Systems | APLAS 2021 | 2021-10-17 |
Server computes full dependency graphs for npm packages in advance and serves them so clients fetch each package graph with one request. Implementation… | ||
| A Functional Abstraction of Typed Trails + A Text-based Syntax Completion Method | PEPM 2021 | 2021-01-18 |
Presents a new type system that models continuation invocation contexts as functional trails so control and prompt can have heterogeneous trail types it claims… | ||
| An Approach to Generate Text-Based IDEs for Syntax Correction based on Syntax Specification | PEPM 2020 | 2020-01-20 |
A method that transforms full grammar into a prefix grammar to compute completions up to the cursor and a handwritten C service for a tiny Standard ML subset… | ||
| nothing matches | ||