Search for tag: "compiler"

BHoM 2021: Welcome by Ulrike Tillmann (INI)

BHoM 2021: Welcome by Ulrike Tillmann (INI)

From  Liam Holligan 0 likes 3 plays 0  

Profiling and tools

Profiling and tools lecture

From  Adrian Jackson 1 likes 124 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 489 plays 0  

INFD11016 Week 7: Computer Basics

Computer-Basics-Online

From  Adrian Jackson 0 likes 93 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 25 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 15 plays