Algebraic reconstruction of types and effects

• 1 January 1991
• proceedings article
• Published by Association for Computing Machinery (ACM)
• p. 303-310
• https://doi.org/10.1145/99583.99623

Abstract