|
Search the dblp DataBase
Gianna Bellè:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gianna Bellè, C. Barry Jay, Eugenio Moggi
Functorial ML. [Citation Graph (0, 0)][DBLP] PLILP, 1996, pp:32-46 [Conf]
- Gianna Bellè, Eugenio Moggi
Typed Intermediate Languages for Shape Analysis. [Citation Graph (0, 0)][DBLP] TLCA, 1997, pp:11-29 [Conf]
- Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten
Solutions of functorial and non-functorial metric domain equations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
- C. Barry Jay, Gianna Bellè, Eugenio Moggi
Functorial ML. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1998, v:8, n:6, pp:573-619 [Journal]
- Fabio Alessi, Paolo Baldan, Gianna Bellè
A Fixed-Point Theorem in a Category of Compact Metric Spaces. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:146, n:1&2, pp:311-320 [Journal]
- Eugenio Moggi, Gianna Bellè, C. Barry Jay
Monads, shapely functors, and traversals. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
Search in 0.001secs, Finished in 0.001secs
|