Search for tag: "types"

SL week 4 intro

Welcome to week 4 of Sustaining life, titled Respiratory physiology

From  Gavin Brown on January 22nd, 2021 0 likes 2 plays 0  

Excel sheet step 1 190121

Step 1 of the ABC for LD process using the PPLS toolkit

From  William Farquharson on January 19th, 2021 0 likes 0 plays 0  

APMCS lecture 2 p8

Advanced Phil of Mind and Cog SciLecture 2, part 8Conclusions

From  Jane Lavelle on January 10th, 2021 0 likes 16 plays 0  

NLU+ Lecture 1: Introduction

Introduction to NLU+

From  Ruairi O'Hare on December 16th, 2020 0 likes 14 plays 0  

Rock Magnetism and Magnetic Anomalies

Introduction to Geophysics: Rock Magnetism and Magnetic Anomalies

From  Wyn Williams on December 14th, 2020 0 likes 1 plays 0  

Getting Started with the Trello Board

An overview of the features and layout of the Trello Storyboard for the ABC for Learning Design Method.

From  William Farquharson on December 14th, 2020 0 likes 2 plays 0  

The Stevenson Maps and Plans of Scotland: Creating a Map-Based Finding Aid

There are over 2000 maps and plans in the archive of the Stevenson engineering firm that relate to projects undertaken in Scotland in the eighteenth to early-twentieth centuries. The plans range in…

From  Roisin O'Brien on December 2nd, 2020 0 likes 15 plays 0  

FP - Lecture 19 - Propositions as Types

This is the last FP video lecture, on Propositions as Types.

From  Claudia-Elena Chirita on November 29th, 2020 0 likes 341 plays 0  

ABC Course Unit 1 introduction

Introduction to the ABC methodology for Course Design

From  William Farquharson on November 27th, 2020 0 likes 1 plays 0  

LMS Computer Science Colloquium - Nobuko Yoshida (Imperial College London)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Nobuko Yoshida (Imperial College London) - Session Types:…

From  Liam Holligan on November 19th, 2020 0 likes 13 plays 0  

FP - Lecture 14 - Type Classes

This is the video for the FP lecture on Type Classes.

From  Claudia-Elena Chirita on November 8th, 2020 0 likes 339 plays 0  

MLP Lecture 07 - Clip 07 - Pooling/Subsampling

Machine Learning Practical (MLP) Lecture 07, Clip 07 / 09.

From  Pavlos Andreadis on November 2nd, 2020 1 likes 175 plays 0  

FP - Lecture 12 - Data Types and Data Abstraction (continued)

This is the second video for the FP lecture on Data Types and Data Abstraction.

From  Claudia-Elena Chirita on November 1st, 2020 0 likes 432 plays 0  

CL - 7h - Some Haskell remarks

In this video we give an example showing how Haskell's types can help us to avoid confusions.We then discuss the types of the Boolean operations lifted to predicates, and show how…

From  Haoran Peng on November 1st, 2020 0 likes 234 plays 0  

FP - Lecture 11 - Data Types and Data Abstraction

This is the first video for the FP lecture on Data Types and Data Abstraction.

From  Claudia-Elena Chirita on October 25th, 2020 0 likes 501 plays 0