Gianna Bellè

Publication Activity (10 Years)

Years Active: 1995-1999
Publications (10 Years): 0

Publications

Eugenio Moggi, Gianna Bellè, C. Barry Jay
Monads, shapely functors, and traversals. CTCS (1999)
C. Barry Jay, Gianna Bellè, Eugenio Moggi
Functorial ML. J. Funct. Program. 8 (6) (1998)
Gianna Bellè, Eugenio Moggi
Typed Intermediate Languages for Shape Analysis. TLCA (1997)
Gianna Bellè, C. Barry Jay, Eugenio Moggi
Functorial ML. PLILP (1996)
Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten
Solutions of functorial and non-functorial metric domain equations. MFPS (1995)
Fabio Alessi, Paolo Baldan, Gianna Bellè
A Fixed-Point Theorem in a Category of Compact Metric Spaces. Theor. Comput. Sci. 146 (1&2) (1995)