Search for tag: "lamb"

Sheep - neonates

You can access the full suite of videos and other resources from Subtitles Checked - August 2020

From  Louise Connelly 0 likes 33 plays

Dependent Types

Advances in Programming Languages 2018/19 Lecture 7 Dependent Types This lecture completes the quartet of type/term interactions: after first-class functions, parameterized types, and polymorphic…

From  Ian Stark 0 likes 18 plays