An Existential Crisis Resolved Type Inference for First-Class Existential Types

Eisenberg, RA; Duboc, G; Weirich, S; Lee, D

Eisenberg, RA (corresponding author), Tweag, 207 Rue Bercy, F-75012 Paris, France.

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021; 5 ():

Abstract

Emerging persistent memory in commodity hardware allows byte-granular accesses to persistent state at memory speeds. However, to prevent inconsistent ......

Full Text Link