Authors: Pierce, BC Turner, DN

Citation: Bc. Pierce et Dn. Turner, Local type inference, ACM T PROGR, 22(1), 2000, pp. 1-44

Authors: Pierce, BC Turner, DN

Citation: Bc. Pierce et Dn. Turner, Pict: A programming language based on the Pi-calculus, FOUNDAT COM, 2000, pp. 455-494

Authors: Maraist, J Odersky, M Turner, DN Wadler, P

Citation: J. Maraist et al., Call-by-name, call-by-value, call-by-need and the linear lambda calculus, THEOR COMP, 228(1-2), 1999, pp. 175-210

Authors: Turner, DN Wadler, P

Citation: Dn. Turner et P. Wadler, Operational interpretations of linear logic, THEOR COMP, 227(1-2), 1999, pp. 231-248

Authors: Kobayashi, N Pierce, BC Turner, DN

Citation: N. Kobayashi et al., Linearity and the pi-calculus, ACM T PROGR, 21(5), 1999, pp. 914-947