Authors: LAUNCHBURY J SABRY A

Citation: J. Launchbury et A. Sabry, MONADIC STATE - AXIOMATIZATION AND TYPE SAFETY, ACM SIGPLAN NOTICES, 32(8), 1997, pp. 227-238

Authors: COOK B LAUNCHBURY J

Citation: B. Cook et J. Launchbury, DISPOSABLE MEMO FUNCTIONS, ACM SIGPLAN NOTICES, 32(8), 1997, pp. 310-310