ICFP Video - Channel

ICFP Video

ICFP Video

Videos from the International Conference on Functional Programming (ICFP) and associated events.

578 videos

Sort by views Sort by oldest Sorted by newest Sort by newest - no shorts

21:03

3 13 Practical SMT Based Type Error Localization

22:19

3 12 Learning Refinment Types

12:50

3 11 Expression Pattern Monitors as Patterns of Communication

19:00

3 10 Blame Assignment for Higher Order Contracts with Intersection and Union

21:40

3 09 Efficient Communication and Collection with Compact Normal Forms

21:03

3 08 RRB Vector: A Practical General Purpose Immutable Sequence

10:36

3 07 Functional GPU Programming

14:06

3 06 Synthesis with String Diagrams in Haskell

10:02

3 05 Sparse Adaption

20:57

3 04 A Fast Compiler for NetKAT

20:10

3 03 Certified Symbolic Management of Financial Multi Party Contracts

20:36

3 02 Practical Principled FRP

59:30

3 01 Tribute to Paul Hudak

6:08

13 Lightning: A Tool for Monitoring a Repo

23:59

06 Securing Our Package Infrastructure

6:50

16 Lightning: Imperative OO With Cheap Pointers

31:29

04 Using Hardware Transactions in the GHC runtime

20:28

08 Look Ma No Signatures

23:35

07 Stack

6:24

12 Lightning: It s the data stupid

28:58

03 API Annotations

6:32

17 Lightning: Cabal and Hackage Progress

28:01

02 State of GHCJS

21:04

09 Haskell Org Infrastructure

35:31

01 State of GHC

18:42

05 Rebooting Super compilation

29:00

11 Levity Polymorphism In Dependent Haskell

7:00

15 Ligthning: An Existential Aware Deriving of Foldable

27:25

10 A Pretty Printer that Says Waht It Means

6:18

18 Lightning: Fragnix

3:44

14 Lightning: A Tracing JIT for a Functional Language

20:27

2 11 Elaborating Evaluation Order Polymorphism

22:33

2 03 A Unification Algorithm for Coq Featuring Universe Polymorphism and Overloading

21:11

2 03 Foundational Extensible Corecursion a Proof Assistant Perspective

32:48

2 15 Programming Contest Awards

20:55

2 14 HLIO: Mixing Static and Dynamic Typing for Information Flow Control in Haskell

18:46

2 13 Two can keep a Secret if one of them uses Haskell

20:46

2 12 Automatic Refunctionalization to a Language with Copattern Matching

19:22

2 10 Which Simple Type Have a Unique Inhabitant

20:22

2 09 Partial Aborts for Transactions via First Class Continuations

19:17

2 08 Adaptive Lock free Maps

19:52

2 07 Generating Performance Portable Code using Rewrite Rules

12:55

2 06 Veryfying Probabilistic Programs in the Presence of an Adversary

32:06

2 04 Students Research Competition 1

22:41

2 02 Pilsner A Compositionally Verified Compiler for a Higher Order Imperative Language

1:02:39

2 01 Functional Programming and Hardware Design Still Interesting after All These Years mov

27:28

11 Unifying Worlds and Resources

24:55

04 A Denotational Semantics for Hindley Milner Polymorphism

32:32

05 Combining Manifest Contracts With State

30:35

03 An Algebraic Approach to Typechecking and Elaboration

28:35

10 Monadic Effects

26:26

09 A Divertemento on MonadPlus

27:47

07 Effects in Bayesian Inference

28:37

06 Dependent Types Effects and Efficient Verification Conditions in F star

31:13

02 Combining Effects and Coeffects

1:02:45

01 The Rust Programming Language

22:59

08 Applicative Bidirectional Programming with Lenses

20:51

06 1ML Core and Modules United

11:36

16 Program Chair Report

21:47

15 Analysing the Complexity of Functional Programs Higher Order Meets First Order

19:14

14 Denotational Cost Semantics for Functional Languages with Inductive Types

20:22

13 Structures for Structural Recursion

21:03

12 Algebras and Coalgebras in the Light Affine Lambda Calculus

19:18

11 Noninterference for Free

18:12

10 XQuery and Static Typing Tackling the Problem of Backward Axes

20:48

09 Hygenic Resugaring of Compositional Desugaring

38:31

07 Dependently Typed Programming With Finite Sets

41:53

06 Datatype Generic Programming in F#

59:51

05 Generic Programming With Effects

48:55

04 Session Types for Rust

48:37

03 Type Level Web APIs

56:49

02 Compositional and Linear Encoding

19:59

07 Bounded Refinement Types

1:04:10

02 Opportunities for the next decade

17:48

03 A SQL to C Compiler in 500 Lines of Code

1:56

01 Welcome

20:19

05 Pycket A Tracing JIT for a Functional Language

18:16

04 An Optimizing Compiler for a Purely Functional Web Application Language