Mark Lemay
where else to find them
what they talk about
where they keep going back
- TyDe3 editions2020–2023
on a stage with
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… | ||
| Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory | TyDe 2021 | 2021-08-22 |
A dependently typed surface language elaborates into a runtime cast language that defers equality checks until execution, runs programs that static checking… | ||
| 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 | ||