A Dependently Typed Language with Dynamic Equality.
A Dependently Typed Language with Dynamic Equality.
Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi
01 March 2023
Venue : TyDe@ICFP
External Link: https://doi.org/10.1145/3609027.3609407