0:58

A GHC-Plugin to Compile Effectful Languages (Lightning Talk)

ACM SIGPLAN

0:57

Certified double sided auction mechanisms (Lightning Talk)

ACM SIGPLAN

1:01

Certified Optimisation of Stream Operations Using Heterogeneous Staging (Lightning Talk)

ACM SIGPLAN

1:01

Pattern Matching with Typed Holes (Lightning Talk)

ACM SIGPLAN

0:51

Type Hole Inference (Lightning Talk)

ACM SIGPLAN

0:59

Semantics for a Simple Differentiable Language Using Distribution Theory (Lightning Talk)

ACM SIGPLAN

0:59

Gradual Enforcement of IO Trace Properties (Lightning Talk)

ACM SIGPLAN

18:36

A GHC-Plugin to Compile Effectful Languages (Finalist Talk)

ACM SIGPLAN

16:56

Certified double sided auction mechanisms (Finalist Talk)

ACM SIGPLAN

11:49

Certified Optimisation of Stream Operations Using Heterogeneous Staging (Finalist Talk)

ACM SIGPLAN

15:03

Pattern Matching with Typed Holes (Finalist Talk)

ACM SIGPLAN

15:31

Type Hole Inference (Finalist Talk)

ACM SIGPLAN

14:12

Semantics for a Simple Differentiable Language Using Distribution Theory (Finalist Talk)

ACM SIGPLAN

12:34

Gradual Enforcement of IO Trace Properties (Finalist Talk)

ACM SIGPLAN