A Dependently Typed Language with Dynamic Equality.

Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi

Browse the full ICFP paper archive.