Using a Proof Assistant to Teach Programming Language Foundations (2010) [video]

Heykuki News

38 points

8 years ago

1 comment

Using a Proof Assistant to Teach Programming Language Foundations (2010) [video] | Heykuki News