Podcasts
Inferring Scope through Syntactic Sugar
Published: Jan. 23, 2018, 12:23 p.m.Duration: 17 minutes 29 seconds
Listed in: Education
Automating Sized-Type Inference for Complexity Analysis
Published: Jan. 23, 2018, 12:20 p.m.Duration: 18 minutes 50 seconds
Listed in: Education
Constrained Type Families
Published: Jan. 23, 2018, 12:16 p.m.Duration: 16 minutes 20 seconds
Listed in: Education
Gradual Typing with Union and Intersection Types
Published: Jan. 23, 2018, 12:11 p.m.Duration: 17 minutes 31 seconds
Listed in: Education
On Polymorphic Gradual Typing
Published: Jan. 22, 2018, 3:32 p.m.Duration: 18 hours 4 minutes
Listed in: Education
Theorems for Free for Free: Parametricity, With and Without Types
Published: Jan. 22, 2018, 3:23 p.m.Duration: 20 minutes 38 seconds
Listed in: Education
Gradual Session Types
Published: Jan. 22, 2018, 3:12 p.m.Duration: 20 minutes 37 seconds
Listed in: Education
Manifest Sharing with Session Types
Published: Jan. 22, 2018, 3:05 p.m.Duration: 21 minutes 8 seconds
Listed in: Education
Whip: Higher-Order Contracts for Modern Services
Published: Jan. 22, 2018, 2:59 p.m.Duration: 18 minutes 17 seconds
Listed in: Education
A Metaprogramming Framework for Formal Verification
Published: Jan. 17, 2018, 1:26 p.m.Duration: 16 minutes 35 seconds
Listed in: Education
Normalization by Evaluation for Sized Dependent Types
Published: Jan. 17, 2018, 11:24 a.m.Duration: 20 minutes 21 seconds
Listed in: Education
A Specification for Dependent Types in Haskell
Published: Jan. 17, 2018, 11:12 a.m.Duration: 18 minutes 51 seconds
Listed in: Education
Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)
Published: Jan. 17, 2018, 10:52 a.m.Duration: 20 minutes 8 seconds
Listed in: Education
Visitors Unchained
Published: Jan. 17, 2018, 10:44 a.m.Duration: 17 minutes 59 seconds
Listed in: Education
Compiling to Categories
Published: Jan. 16, 2018, 12:15 p.m.Duration: 18 minutes 14 seconds
Listed in: Education
Local Refinement Typing
Published: Jan. 16, 2018, 12:13 p.m.Duration: 14 minutes 17 seconds
Listed in: Education
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Published: Jan. 15, 2018, 3:57 p.m.Duration: 18 minutes 14 seconds
Listed in: Education
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Published: Jan. 15, 2018, 3:43 p.m.Duration: 19 minutes 30 seconds
Listed in: Education
No-Brainer CPS Conversion
Published: Jan. 15, 2018, 3:34 p.m.Duration: 14 minutes 20 seconds
Listed in: Education
Foundations of Strong Call by Need
Published: Jan. 15, 2018, 3:12 p.m.Duration: 18 minutes 59 seconds
Listed in: Education
How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation
Published: Dec. 18, 2017, 3:16 p.m.Duration: 16 minutes 55 seconds
Listed in: Education
Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols
Published: Dec. 18, 2017, 3:14 p.m.Duration: 18 minutes 25 seconds
Listed in: Education
Verifying Efficient Function Calls in CakeML
Published: Dec. 18, 2017, 3:13 p.m.Duration: 19 minutes 53 seconds
Listed in: Education
A Relational Logic for Higher-Order Programs
Published: Dec. 18, 2017, 3:02 p.m.Duration: 17 minutes 28 seconds
Listed in: Education
Verified Low-Level Programming Embedded in F
Published: Dec. 18, 2017, 3:01 p.m.Duration: 18 minutes 12 seconds
Listed in: Education
Persistence for the Masses: RRB-Vectors in a Systems Language
Published: Dec. 18, 2017, 2:59 p.m.Duration: 18 minutes 38 seconds
Listed in: Education
Assuring AI
Published: Dec. 18, 2017, 2:57 p.m.Duration: 53 minutes 21 seconds
Listed in: Education
Effect-Driven QuickChecking of Compilers
Published: Dec. 18, 2017, 2:56 p.m.Duration: 18 minutes 19 seconds
Listed in: Education
Imperative Functional Programs that Explain their Work
Published: Dec. 18, 2017, 2:54 p.m.Duration: 17 minutes 44 seconds
Listed in: Education
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
Published: Dec. 13, 2017, 11:48 a.m.Duration: 18 minutes 19 seconds
Listed in: Education
Abstracting Definitional Interpreters
Published: Dec. 13, 2017, 11:46 a.m.Duration: 19 minutes 6 seconds
Listed in: Education
Symbolic Conditioning of Arrays in Probabilistic Programs
Published: Dec. 13, 2017, 11:45 a.m.Duration: 17 minutes 13 seconds
Listed in: Education
A Framework for Adaptive Differential Privacy
Published: Dec. 13, 2017, 11:43 a.m.Duration: 18 minutes 24 seconds
Listed in: Education
Prototyping a Query Compiler using Coq (Experience Report)
Published: Dec. 12, 2017, 12:13 p.m.Duration: 19 minutes 19 seconds
Listed in: Education
A Unified Approach to Solving Seven Programming Problems (Functional Pearl)
Published: Dec. 12, 2017, 12:11 p.m.Duration: 20 minutes 3 seconds
Listed in: Education
Generic Functional Parallel Algorithms: Scan and FFT
Published: Dec. 12, 2017, 12:08 p.m.Duration: 19 minutes 1 second
Listed in: Education
A Pretty But Not Greedy Printer (Functional Pearl)
Published: Dec. 12, 2017, 12:02 p.m.Duration: 14 minutes 14 seconds
Listed in: Education
Faster Coroutine Pipelines
Published: Dec. 12, 2017, noonDuration: 18 minutes 58 seconds
Listed in: Education
Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC
Published: Dec. 12, 2017, 11:57 a.m.Duration: 19 minutes 19 seconds
Listed in: Education
Lock-Step Simulation Is Child's Play (Experience Report)
Published: Dec. 12, 2017, 11:52 a.m.Duration: 16 minutes 24 seconds
Listed in: Education
Testing and Debugging Functional Reactive Programming
Published: Dec. 12, 2017, 11:50 a.m.Duration: 17 minutes 42 seconds
Listed in: Education
Super 8 Languages for Making Movies (Functional Pearl)
Published: Dec. 7, 2017, 4:07 p.m.Duration: 17 minutes 29 seconds
Listed in: Education
Compositional Creativity: Some Principles for Talking to Computers
Published: Dec. 5, 2017, 3:04 p.m.Duration: 54 minutes 17 seconds
Listed in: Education
Chaperone Contracts for Higher-Order Sessions
Published: Sept. 14, 2017, 2:10 p.m.Duration: 18 minutes 26 seconds
Listed in: Education