Search for tag: "programming"

Introduction – Claudia Chirita

Meet the lecturers of Inf2D: Claudia Chirita.

From  Claudia-Elena Chirita on January 4th, 2021 0 likes 88 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  

Software Licensing, Open Source and Sharing Your Code

Lecture on Software Licensing, Open Source and Sharing Your Code from the EPCC MSc online course on Programming Skills in Semester 1, Academic Year 2020/21

From  Neil Chue Hong on November 23rd, 2020 0 likes 18 plays 0  

FP - Lecture 17 - IO and Monads

This is the first video for the FP lecture on IO and Monads.

From  Claudia-Elena Chirita on November 23rd, 2020 0 likes 304 plays 0  

FP - Lecture 18 - IO and Monads

This is the second video on the FP lecture on IO and Monads.

From  Claudia-Elena Chirita on November 23rd, 2020 0 likes 248 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 16 - Combinatorics

This is the second video for the FP lecture on Combinatorics.

From  Claudia-Elena Chirita on November 16th, 2020 0 likes 274 plays 0  

FP - Lecture 15 - Combinatorics

This is the first video for the FP lectures on Combinatorics.

From  Claudia-Elena Chirita on November 16th, 2020 0 likes 378 plays 0  

Profiling and tools

Profiling and tools lecture

From  William Jackson on November 10th, 2020 1 likes 66 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  

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 on November 8th, 2020 0 likes 462 plays 0  

INFD11016 Week 7: Computer Basics

Computer-Basics-Online

From  William Jackson on November 2nd, 2020 0 likes 49 plays 0  

FP - Lecture 10 - Expression Trees as Algebraic Data Types

This is the video for the 10th FP lecture.

From  Claudia-Elena Chirita on October 19th, 2020 0 likes 508 plays 0  

FP - Lecture 9 - Expression Trees as Algebraic Data Types

This is the video for the ninth FP lecture on Expression Trees as Algebraic Data Types.

From  Claudia-Elena Chirita on October 18th, 2020 0 likes 651 plays 0  

FP - Lecture 8 - Algebraic Data Types

This is the video for the FP lecture on Algebraic Data Types.

From  Claudia-Elena Chirita on October 10th, 2020 0 likes 426 plays 0  

FP - Lecture 7 - Function Properties

This is the video for the FP lecture on function properties.

From  Claudia-Elena Chirita on October 8th, 2020 0 likes 646 plays 0