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