Gianna Bellè

According to our database, Gianna Bellè authored at least 5 papers between 1995 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Monads, shapely functors, and traversals.

Eugenio Moggi, Gianna Bellè, C. Barry Jay

Proceedings of the Conference on Category Theory and Computer Science, 1999

1997

Typed Intermediate Languages for Shape Analysis.

Gianna Bellè, Eugenio Moggi

Proceedings of the Typed Lambda Calculi and Applications, 1997

1996

Functorial ML.

Gianna Bellè, C. Barry Jay, Eugenio Moggi

Proceedings of the Programming Languages: Implementations, 1996

1995

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

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995