William Blair
where else to find them
no profile links on file
what they talk about
where they keep going back
- TyDe2 editions2020–2023
on a stage with
- Cheng Zhang2×
- Mark Lemay2×
- Hongwei Xionce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Dependently Typed Language with Dynamic Equality | TyDe 2023 | 2023-09-04 |
Designs a dependently typed language that defers equality checking to runtime and replaces many static rejections with warnings, inserting explicit casts and… | ||
| Developing a Dependently Typed Language with Runtime Proof Search | TyDe 2020 | 2020-08-23 |
Prototype implements a call-by-value dependently typed language that delays constraint solving by adding an admit syntax and a three-stage pipeline: light type… | ||
| nothing matches | ||