46:44

[ICFP'22] Deep Programmability: A New Lens on Networking

ACM SIGPLAN

17:52

[ICFP'22] Multi Types and Reasonable Space

ACM SIGPLAN

18:10

[ICFP'22] Random Testing of a Higher-Order Blockchain Language (Experience Report)

ACM SIGPLAN

16:01

[ICFP'22] Entanglement Detection with Near-Zero Cost

ACM SIGPLAN

13:58

[ICFP'22] Analyzing Binding Extent in 3CPS

ACM SIGPLAN

15:05

[ICFP'22] Safe Couplings: Coupled Refinement Types

ACM SIGPLAN

14:49

[ICFP'22] "do" Unchained: Embracing Local Imperativity in a Purely Functional Langua...

ACM SIGPLAN

14:18

[ICFP'22] Program Adverbs and Tlon Embeddings

ACM SIGPLAN

14:57

[ICFP'22] Later Credits: Resourceful Reasoning for the Later Modality

ACM SIGPLAN

15:48

[ICFP'22] Datatype-Generic Programming Meets Elaborator Reflection

ACM SIGPLAN

19:44

[ICFP'22] Verified Symbolic Execution with Kripke Specification Monads…

ACM SIGPLAN

16:36

[ICFP'22] Generating Circuits with Generators

ACM SIGPLAN

15:36

[ICFP'22] Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structu…

ACM SIGPLAN

11:56

[ICFP'22] Programming Contest Report

ACM SIGPLAN

55:08

[ICFP'22] Fireside Chat with Arvind and Guy Steele

ACM SIGPLAN

15:51

[ICFP'22] A Reasonably Gradual Type Theory

ACM SIGPLAN

14:50

[ICFP'22] Flexible Presentations of Graded Monads

ACM SIGPLAN

19:46

[ICFP'22] On Feller Continuity and Full Abstraction

ACM SIGPLAN

16:41

[ICFP'22] Normalization for Fitch-Style Modal Calculi

ACM SIGPLAN

14:40

[ICFP'22] Aeneas: Rust Verification by Functional Translation

ACM SIGPLAN

15:36

[ICFP'22] Practical Generic Programming over a Universe of Native Datatypes

ACM SIGPLAN

15:08

[ICFP'22] Staged Compilation with Two-Level Type Theory

ACM SIGPLAN

26:38

[ICFP'22] Fusing Industry and Academia at GitHub (Experience Report)

ACM SIGPLAN

13:49

[ICFP'22] Multiparty GV: Functional Multiparty Session Types with Certified Deadlock Fre...

ACM SIGPLAN

17:38

[ICFP'22] Introduction and Elimination, Left and Right

ACM SIGPLAN

12:34

[ICFP'22] A Completely Unique Account of Enumeration

ACM SIGPLAN

14:35

[ICFP'22] Modular Probabilistic Models via Algebraic Effects

ACM SIGPLAN

16:15

[ICFP'22] Reference Counting with Frame Limited Reuse

ACM SIGPLAN

14:07

[ICFP'22] Structural versus Pipeline Composition of… (Experience Report)

ACM SIGPLAN

14:10

[ICFP'22] Formal Reasoning about Layered Monadic Interpreters

ACM SIGPLAN

16:09

[ICFP'22] Propositional Equality for Gradual Dependently Typed Programming

ACM SIGPLAN

16:20

[ICFP'22] Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness

ACM SIGPLAN

17:40

[ICFP'22] A Simple and Efficient Implementation of Strong Call by Need by an Abstract Ma…

ACM SIGPLAN

12:19

[ICFP'22] Searching Entangled Program Spaces

ACM SIGPLAN

33:27

[ICFP'22] Conclusions and Awards

ACM SIGPLAN

32:34

[ICFP'22] Student Research Competition Final Presentations

ACM SIGPLAN

16:14

[ICFP'22] Automatically Deriving Control-Flow Graph Generators from Operational Semantics

ACM SIGPLAN

40:26

[ICFP'22] Retrofitting Concurrency – Lessons from the Engine Room

ACM SIGPLAN

15:22

[ICFP'22] Monadic Compiler Calculation (Functional Pearl)

ACM SIGPLAN