A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
In this paper, I introduce a new formal system, ACCL, based on Curien's Categorical Combinators [Cur86a]. I showdoi:10.1145/96709.96710 dblp:conf/popl/Field90 fatcat:jpiles3shjdnngvjxsftddkqfm