Search for tag: "compiler"

BHoM 2021: Welcome by Ulrike Tillmann (INI)

BHoM 2021: Welcome by Ulrike Tillmann (INI)

From  Liam Holligan 0 likes 6 plays 0  

FP - Lecture 13 - Laziness, Higher-order, and Sorting

This is the video for the FP lecture on Laziness, Higher-order, and Sorting.

From  Claudia-Elena Chirita 0 likes 497 plays 0  

INFD11016 Week 7: Computer Basics


From  Adrian Jackson 0 likes 138 plays 0  

Bug fixing - Version 2

This is a video for industry volunteers to watch to understand classroom interactions. In this example, the volunteer helps a learner fix a bug, enabling them to do it for themselves.

From  Judy Robertson 0 likes 31 plays 0  

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 20 plays