1:01:23

[FProPer24] HVM2: Iteraction Combinator Evaluator

ACM SIGPLAN

27:39

[FProPer24] Functional Sparse Tensor Compilation

ACM SIGPLAN

41:05

[FProPer24] Fusing Gathers with Integer Linear Programming

ACM SIGPLAN

43:28

[FProPer24] A comparison of OpenCL, CUDA, and HIP as compilation targets for a functional array(…)

ACM SIGPLAN

50:37

[FProPer24] Ribbit with Memory Morphisms

ACM SIGPLAN

29:36

[FProPer24] Tail Modulo Async/Await

ACM SIGPLAN

1:30:57

[FProPer24] From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming(…)

ACM SIGPLAN