Chalmers Functional Programming Seminar Series
Stephen A. Edwards - The Sparse Synchronous Model
1:13:42
Chalmers Functional Programming Seminar Series
Joel Svensson - LispBM (LBM)
57:07
Chalmers Functional Programming Seminar Series
Lennart Augustsson - MicroHaskell
1:15:05
Chalmers Functional Programming Seminar Series
Jeremy Gibbons: Algorithm Design with Haskell
1:07:46
Chalmers Functional Programming Seminar Series
Stephanie Weirich: "Strongly Typed System F in GHC"
1:15:25
Chalmers Functional Programming Seminar Series
Robby Findler: Concolic Testing with Higher-Order Inputs
1:01:31
Chalmers Functional Programming Seminar Series
Phil Wadler: Featherweight Go
1:16:46
Chalmers Functional Programming Seminar Series
Kathleen Fisher: Using Formal Methods to Eliminate Exploitable Bugs
1:04:49
Chalmers Functional Programming Seminar Series
Nadia Polikarpova: Liquid resource types for verification and synthesis
1:05:14
Chalmers Functional Programming Seminar Series
Benjamin Pierce: Backtracking Generators for Random Testing
59:53
Chalmers Functional Programming Seminar Series
A Quick Look at Impredicativity (Simon Peyton Jones)
1:01:39