|
School of Informatics - Sample 1st year lecturePropositions as Types by Professor Philip WadlerSemester 1: Lecture 19 (INF1A)
Publisher
UoE School of Informatics Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
June 3rd, 2021
|
|
This is the video presenting the first Coursework for Inf2D, Reasoning and Agents.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the last FP video lecture, on Propositions as Types.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the first video for the FP lecture on IO and Monads.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the second video on the FP lecture on IO and Monads.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This video introduces the notion of a machine.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In the second video, we show how the Tesytin procedure can be implemented elegantly in Haskell.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the second video for the FP lecture on Combinatorics.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the first video for the FP lectures on Combinatorics.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Description Pending
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the video for the FP lecture on Type Classes.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the video for the FP lecture on Laziness, Higher-order, and Sorting.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We return to the example introduced in the previous video, and begin to represent the problem in Haskell.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the second video for the FP lecture on Data Types and Data Abstraction.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|