Publications:

Abstracts

• [LOMAPS-CAMCL-1] Larchey-Wendling, D. $\varsigma$-Object Calculus: The Untyped System and a Recursive Type System. PhD `stage' report, 1994.
• [LOMAPS-CAMCL-2] P.N.Benton. A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models. Technical Report 352, University of Cambridge Computer Laboratory. October 1994. [65 page version]
• [LOMAPS-CAMCL-3] Kennedy, A.J. Dimension Types. Lecture Notes in Computer Science: Proc.\ ESOP'94, vol.~788 Springer-Verlag, 1994.
• [LOMAPS-CAMCL-4] P.N. Benton. A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models. Proceedings of Computer Science Logic '94, Kazimierz, Poland. Springer-Verlag LNCS 933. June 1995. [15 page version] (See [LOMAPS-CAMCL-2] for longer version.)
• [LOMAPS-CAMCL-5] P.N. Benton, G.M. Bierman and V.C.V de Paiva. Computational Types from a Logical Perspective I. Technical Report 365, University of Cambridge Computer Laboratory. May 1995. To appear in JFP.
• [LOMAPS-CAMCL-6] Mycroft, A. and Solberg, K.L. Uniform PERs and comportment analysis. Lecture Notes in Computer Science: Proc.\ PLILP'95, vol.~982 Springer-Verlag, 1995.
• [LOMAPS-CAMCL-7] Mycroft, A. (ed.) Second International Static Analysis Symposium (SAS'95). Lecture Notes in Computer Science: Proc.\ SAS'95, vol.~983 Springer-Verlag, 1995.
• [LOMAPS-CAMCL-8] Mycroft, A., Degano, P. and Priami, C. Complexity as a basis for comparing semantic models of concurrency. Proc.\ 1st Asian Computing Science Conference (Bangkok, December 1995).
• [LOMAPS-CAMCL-9] Cousot P, Cousot R. and Mycroft, A. (eds.) Report of the Dagstuhl-seminar on `Abstract Interpretation'.
• [LOMAPS-CAMCL-10] N. Benton and P. Wadler. Linear Logic, Monads and the Lambda Calculus. Proc. LICS 1996. (earlier longer version)
• [LOMAPS-CAMCL-11] Kennedy, A.J. Programming Languages and Dimensions. PhD thesis, Cambridge University 1995.
• [LOMAPS-CAMCL-12] P.N.Benton. A Unified Approach to Strictness Analysis and Optimising Transformations. Technical Report 388, University of Cambridge Computer Laboratory. February 1996.
• [LOMAPS-CAMCL-13] P.N.Benton. On the Relationship Between Formal Semantics and Static Analysis ACM Computing Surveys, June 1996. (As DVI.)
• [LOMAPS-CAMCL-14] Mycroft, A. On Integration of Programming Paradigms. ACM Computing Surveys, June 1996. (As DVI.)