Media Summary: Keynote talk presented at FLOPS 2022 on May 10, 2022. Today's most important computer systems are distributed systems: those ... Coinduction Inductively: Mechanizing Coinductive Proofs in 2013 to 2025 So I've been working at Meta for about 12 years mostly using
Haskell 22 Liquid Proof Macros - Detailed Analysis & Overview
Keynote talk presented at FLOPS 2022 on May 10, 2022. Today's most important computer systems are distributed systems: those ... Coinduction Inductively: Mechanizing Coinductive Proofs in 2013 to 2025 So I've been working at Meta for about 12 years mostly using Refinement types decorate the types of a programming language with logical predicates to allow more expressive type ... Presented by Niki Vazou. Presented at POPL'20.
![[Haskell'22] Liquid Proof Macros](https://i.ytimg.com/vi/iEdL6ZQyaoM/mqdefault.jpg)
![[Haskell'22] How to Safely Use Extensionality in Liquid Haskell](https://i.ytimg.com/vi/03RV5gJ7NKg/mqdefault.jpg)
![[Haskell'22] Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell](https://i.ytimg.com/vi/7dUDCVgX4YE/mqdefault.jpg)
![[HIW'22] Lightning Talk Slot #3: The Haskell Optimization Handbook](https://i.ytimg.com/vi/_OYUBmKCkok/mqdefault.jpg)
![[HIW'22] Haskell Playground (WIP)](https://i.ytimg.com/vi/UFZeRgqZs7E/mqdefault.jpg)
