International Conference on Functional Programming 2017
By Oxford University
Listen to a podcast, please open Podcast Republic app. Available on Google Play Store and Apple App Store.
Image by Oxford University
Category: Education
Open in Apple Podcasts
Open RSS feed
Open Website
Rate for this podcast
Subscribers: 14
Reviews: 0
Episodes: 44
Description
ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming.
ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, there are keynotes from Chris Martens and John Launchbury; unfortunately, Rich Hickey was unable to attend as originally planned.
| Episode | Date |
|---|---|
|
Inferring Scope through Syntactic Sugar
|
Jan 23, 2018 |
|
Automating Sized-Type Inference for Complexity Analysis
|
Jan 23, 2018 |
|
Constrained Type Families
|
Jan 23, 2018 |
|
Gradual Typing with Union and Intersection Types
|
Jan 23, 2018 |
|
On Polymorphic Gradual Typing
|
Jan 22, 2018 |
|
Theorems for Free for Free: Parametricity, With and Without Types
|
Jan 22, 2018 |
|
Gradual Session Types
|
Jan 22, 2018 |
|
Manifest Sharing with Session Types
|
Jan 22, 2018 |
|
Whip: Higher-Order Contracts for Modern Services
|
Jan 22, 2018 |
|
A Metaprogramming Framework for Formal Verification
|
Jan 17, 2018 |
|
Normalization by Evaluation for Sized Dependent Types
|
Jan 17, 2018 |
|
A Specification for Dependent Types in Haskell
|
Jan 17, 2018 |
|
Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)
|
Jan 17, 2018 |
|
Visitors Unchained
|
Jan 17, 2018 |
|
Compiling to Categories
|
Jan 16, 2018 |
|
Local Refinement Typing
|
Jan 16, 2018 |
|
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
|
Jan 15, 2018 |
|
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
|
Jan 15, 2018 |
|
No-Brainer CPS Conversion
|
Jan 15, 2018 |
|
Foundations of Strong Call by Need
|
Jan 15, 2018 |
|
How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation
|
Dec 18, 2017 |
|
Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols
|
Dec 18, 2017 |
|
Verifying Efficient Function Calls in CakeML
|
Dec 18, 2017 |
|
A Relational Logic for Higher-Order Programs
|
Dec 18, 2017 |
|
Verified Low-Level Programming Embedded in F
|
Dec 18, 2017 |
|
Persistence for the Masses: RRB-Vectors in a Systems Language
|
Dec 18, 2017 |
|
Assuring AI
|
Dec 18, 2017 |
|
Effect-Driven QuickChecking of Compilers
|
Dec 18, 2017 |
|
Imperative Functional Programs that Explain their Work
|
Dec 18, 2017 |
|
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
|
Dec 13, 2017 |
|
Abstracting Definitional Interpreters
|
Dec 13, 2017 |
|
Symbolic Conditioning of Arrays in Probabilistic Programs
|
Dec 13, 2017 |
|
A Framework for Adaptive Differential Privacy
|
Dec 13, 2017 |
|
Prototyping a Query Compiler using Coq (Experience Report)
|
Dec 12, 2017 |
|
A Unified Approach to Solving Seven Programming Problems (Functional Pearl)
|
Dec 12, 2017 |
|
Generic Functional Parallel Algorithms: Scan and FFT
|
Dec 12, 2017 |
|
A Pretty But Not Greedy Printer (Functional Pearl)
|
Dec 12, 2017 |
|
Faster Coroutine Pipelines
|
Dec 12, 2017 |
|
Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC
|
Dec 12, 2017 |
|
Lock-Step Simulation Is Child's Play (Experience Report)
|
Dec 12, 2017 |
|
Testing and Debugging Functional Reactive Programming
|
Dec 12, 2017 |
|
Super 8 Languages for Making Movies (Functional Pearl)
|
Dec 07, 2017 |
|
Compositional Creativity: Some Principles for Talking to Computers
|
Dec 05, 2017 |
|
Chaperone Contracts for Higher-Order Sessions
|
Sep 14, 2017 |