TyDe 2021
| title | author | length |
|---|---|---|
| Interactive Haskell Type Inference Exploration (Extended Abstract) | Shuai Fu, Tim Dwyer, Peter J. Stuckey | 20m |
Chameleon revives a 2000s constraint-based Haskell debugger, updated in 2020 with modern libraries, language standard changes and a rewritten… | ||
| Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) | Kazuki Niimi, Youyou Cong, Hidehiko Masuhara, Jonathan Immanuel Brachthäuser | 16m |
Claims a type system that composes directional effects with contextual effect polymorphism so handlers can give depending responses and be passed through… | ||
| Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory | Mark Lemay | 19m |
A dependently typed surface language elaborates into a runtime cast language that defers equality checks until execution, runs programs that static checking… | ||
| A Simpler Encoding of Indexed Types | Tesla Zhang | 13m |
Presents a restricted indexed-type syntax that replaces general term unification with evaluable term pattern unification, claims simpler implementation and… | ||
| Co-Contextual Typing Inference for the Linear π-Calculus in Agda (Extended Abstract) | uma salakan, ornella darda | 23m |
Bottom-up inference traverses processes and expressions, returning contexts with metavariables and a constraint set rather than a single solution, implemented… | ||
| nothing matches | ||