Haskell Live-coding, Session 18, Nominal Sets

2019 10:12:01
Synopsis
Nominal sets are about dealing with name capture in a principled way, based on permutations of 'atoms' or 'names'. We spent the ...

You Might Also Like

Haskell Live-Coding, Session 5.2, Propagators 2:23:31
Haskell Live-coding, Session 5.2, Propagators
2019
Haskell Live-Coding, Session 3, Authenticated Computation 3:50:22
Haskell Live-coding, Session 3, Authenticated Computation
2019
Haskell Live-Coding, Session 5.1, Propagators 16:40
Haskell Live-coding, Session 5.1, Propagators
2019
Shakey snapshot of my hangar/lull'cec/addicted2random workshop on tidal in Barcelona 0:47
Shakey Snapshot Of My Hangar/lull'cec/addicted2random Worksh...
2014
Jamie Gabbay The design of Nominal Datatypes package in Haskell 1:05:52
Jamie Gabbay The Design Of Nominal Datatypes Package In Ha...
2022
Haskell Course - Lesson 18 - Functors 56:41
Haskell Course - Lesson 18 - Functors
2025
Live coding a game in Netwire Functional Reactive Programming framework - Haskell.SG 51:26
Live Coding A Game In Netwire Functional Reactive Programmin...
2016
Text 1:32
Text
2011
Haskell Live-Coding, Session 13, Succinct Serialization, Part 5 4:31:15
Haskell Live-coding, Session 13, Succinct Serialization, Par...
2019
HaskellerZ - January 2020 - Marion Schleifer & Alexis King - Open-Source GraphQL Engine in Haskell 1:15:19
Haskellerz - January 2020 - Marion Schleifer & Alexis King -...
2021
2018 NIL Haskell School - Session 4 2:29:23
2018 Nil Haskell School - Session 4
2019
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.