Skip to content

Yao Li

@yaoli • 2 subscribers • 1 video on Hallway • 1 recommendations

Open on YouTube

Embracing a mechanized formalization gap by Yao Li (HIW@ICFP 2020)

Recommended by 16 years ago