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