16:59

[JFP@ICFP'22] Denotational semantics as a foundation for cost recurrence extraction for functio...

ACM SIGPLAN

15:10

[JFP@ICFP'22] Back To Futures

ACM SIGPLAN

22:22

[JFP@ICFP'22] Iterating on multiple collections in synchrony

ACM SIGPLAN

14:44

[JFP@ICFP'22] ANF Preserves Dependent Types upto Extensional Equality

ACM SIGPLAN