Search for tag: "haskell"

39 Media

School of Informatics Sample Undergraduate… duration 36 minutes 14 seconds School of Informatics Sample Undergraduate… School of Informatics Sample Undergraduate Lecture	School of Informatics Sample Undergraduate Lecture School of Informatics - Sample 1st year lecturePropositions as Types by Professor Philip WadlerSemester 1: Lecture 19 (INF1A) school of informatics +20 More From Informatics at Edinburgh 0 likes 30 plays 0 Publisher UoE School of Informatics Licence Type All rights reserved The University of Edinburgh Language English Date Created June 3rd, 2021
Coursework 1 duration 13 minutes 30 seconds Coursework 1 Coursework 1	Coursework 1 This is the video presenting the first Coursework for Inf2D, Reasoning and Agents. inf2d +21 More From Claudia-Elena Chirita 0 likes 176 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 19 - Propositions as Types duration 37 minutes 11 seconds FP - Lecture 19 - Propositions as Types FP - Lecture 19 - Propositions as Types	FP - Lecture 19 - Propositions as Types This is the last FP video lecture, on Propositions as Types. inf1a +19 More From Claudia-Elena Chirita 0 likes 428 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 16 - ε-transitions and the subset… duration 49 minutes 40 seconds CL - 16 - ε-transitions and the subset… CL - 16 - ε-transitions and the subset construction	CL - 16 - ε-transitions and the subset construction 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. inf1a +23 More From Haoran Peng 0 likes 235 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 17 - IO and Monads duration 46 minutes 18 seconds FP - Lecture 17 - IO and Monads FP - Lecture 17 - IO and Monads	FP - Lecture 17 - IO and Monads This is the first video for the FP lecture on IO and Monads. inf1a +22 More From Claudia-Elena Chirita 0 likes 362 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 18 - IO and Monads duration 47 minutes 13 seconds FP - Lecture 18 - IO and Monads FP - Lecture 18 - IO and Monads	FP - Lecture 18 - IO and Monads This is the second video on the FP lecture on IO and Monads. inf1a +25 More From Claudia-Elena Chirita 0 likes 278 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 13a - Machines duration 5 minutes 8 seconds CL - 13a - Machines CL - 13a - Machines	CL - 13a - Machines This video introduces the notion of a machine. inf1a +25 More From Claudia-Elena Chirita 0 likes 197 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 14a - Tseytin Week 9 duration 6 minutes 28 seconds CL - 14a - Tseytin Week 9 CL - 14a - Tseytin Week 9	CL - 14a - Tseytin Week 9 In the second video, we show how the Tesytin procedure can be implemented elegantly in Haskell. inf1a +23 More From Haoran Peng 0 likes 302 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 16 - Combinatorics duration 47 minutes 33 seconds FP - Lecture 16 - Combinatorics FP - Lecture 16 - Combinatorics	FP - Lecture 16 - Combinatorics This is the second video for the FP lecture on Combinatorics. inf1a +5 More From Claudia-Elena Chirita 0 likes 301 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 15 - Combinatorics duration 51 minutes 9 seconds FP - Lecture 15 - Combinatorics FP - Lecture 15 - Combinatorics	FP - Lecture 15 - Combinatorics This is the first video for the FP lectures on Combinatorics. inf1a +25 More From Claudia-Elena Chirita 0 likes 413 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 11b - CNF by Boolean algebra duration 9 minutes 29 seconds CL - 11b - CNF by Boolean algebra CL - 11b - CNF by Boolean algebra	CL - 11b - CNF by Boolean algebra Description Pending inf1a +23 More From Haoran Peng 0 likes 270 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 14 - Type Classes duration 45 minutes 18 seconds FP - Lecture 14 - Type Classes FP - Lecture 14 - Type Classes	FP - Lecture 14 - Type Classes This is the video for the FP lecture on Type Classes. inf1a +23 More From Claudia-Elena Chirita 0 likes 378 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 13 - Laziness, Higher-order, and… duration 51 minutes 20 seconds FP - Lecture 13 - Laziness, Higher-order, and… FP - Lecture 13 - Laziness, Higher-order, and Sorting	FP - Lecture 13 - Laziness, Higher-order, and Sorting This is the video for the FP lecture on Laziness, Higher-order, and Sorting. inf1a +24 More From Claudia-Elena Chirita 0 likes 501 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 9c - DPLL II duration 3 minutes 54 seconds CL - 9c - DPLL II CL - 9c - DPLL II	CL - 9c - DPLL II We return to the example introduced in the previous video, and begin to represent the problem in Haskell. inf1a +23 More From Haoran Peng 0 likes 267 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 12 - Data Types and Data… duration 45 minutes 49 seconds FP - Lecture 12 - Data Types and Data… FP - Lecture 12 - Data Types and Data Abstraction (continued)	FP - Lecture 12 - Data Types and Data Abstraction (continued) This is the second video for the FP lecture on Data Types and Data Abstraction. inf1a +25 More From Claudia-Elena Chirita 0 likes 458 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 7h - Some Haskell remarks duration 5 minutes 33 seconds CL - 7h - Some Haskell remarks CL - 7h - Some Haskell remarks	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… inf1a +23 More From Haoran Peng 0 likes 247 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English