[icfp'25] [jfp] A Contextual Formalization Of Structural Coinduction

2026 24:54
Synopsis
A contextual formalization of structural coinduction (Video, ICFP 2025) Paul Downen, and Zena M. Ariola (University of ...

You Might Also Like

[ICFP'25] [JFP] A practical formalization of monadic equational reasoning in dependent-type theory 24:21
[icfp'25] [jfp] A Practical Formalization Of Monadic Equatio...
2026
[ICFP'25] [JFP] Domain-specific tensor languages 25:58
[icfp'25] [jfp] Domain-specific Tensor Languages
2026
[ICFP'25] Multiple Resumptions and Local Mutable State, Directly 25:02
[icfp'25] Multiple Resumptions And Local Mutable State, Dire...
2026
[ICFP'25] Type Universes as Kripke Worlds 25:48
[icfp'25] Type Universes As Kripke Worlds
2026
[ICFP'25] Compiling with Generating Functions 24:10
[icfp'25] Compiling With Generating Functions
2026
[ICFP'25] Teaching Software Specification (Experience Report) 27:17
[icfp'25] Teaching Software Specification (experience Report...
2026
[ICFP'25] 2-Functoriality of Initial Semantics, and Applications 26:07
[icfp'25] 2-functoriality Of Initial Semantics, And Applicat...
2026
[ICFP'25] Fusing Session-Typed Concurrent Programming into Functional Programming 25:38
[icfp'25] Fusing Session-typed Concurrent Programming Into F...
2026
CS410 2017 Lecture 15 Coinduction and Coalgebras 51:28
Cs410 2017 Lecture 15 Coinduction And Coalgebras
2018
Prof. Eric Kolaczyk | Dynamic causal networks with multi-scale temporal structure 55:02
Prof. Eric Kolaczyk | Dynamic Causal Networks With Multi-sca...
2026
Reimagining the ICCPC: Structural 1 1:24:39
Reimagining The Iccpc: Structural 1
2023
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.