Person. William Blair ORCID · 0000-0002-5918-2983 Papers A Dependently Typed Language with Dynamic Equality lemay-2023-aTyDe · 2023 DOI