Monads, shapely functors, and traversals - Eugenio Moggi; Gianna Bellè; C. Barry Jay (Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999, 1999)

Functorial ML - C. Barry Jay; Gianna Bellè; Eugenio Moggi (J. Funct. Program., 1998)

Typed Intermediate Languages for Shape Analysis - Gianna Bellè; Eugenio Moggi (Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings, 1997)

Functorial ML - Gianna Bellè; C. Barry Jay; Eugenio Moggi (Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, 1996)

A Fixed-Point Theorem in a Category of Compact Metric Spaces - Fabio Alessi; Paolo Baldan; Gianna Bellè (Theor. Comput. Sci., 1995)

Solutions of functorial and non-functorial metric domain equations - Fabio Alessi; Paolo Baldan; Gianna Bellè; Jan J. M. M. Rutten (Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995, 1995)