26:29

[HOPE'22] Temporal refinements for Call-By-Push-Value with fixpoint

ACM SIGPLAN

24:54

[HOPE'22] Relative Monads in CBPV for Stack-based Effects

ACM SIGPLAN

19:02

[HOPE'22] Verifying non-terminating programs with IO in F*

ACM SIGPLAN

24:03

[HOPE'22] Higher order programming with probabilistic effects: A model of stochastic memo...

ACM SIGPLAN

20:35

[HOPE'22] Lift Inference for Lexical Effect Handlers with Second-Class Functions

ACM SIGPLAN

20:44

[HOPE'22] Flexibly graded monads and graded algebras

ACM SIGPLAN

20:35

[HOPE'22] Lift Inference for Lexical Effect Handlers with Second-Class Functions

ACM SIGPLAN