E
Eugenio Moggi
6 works on record
Works

Category theory and computer science

Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07
Theoretical Computer Science
Theoretical Computer Science
2007
Computational lambda-calculus and monads
Computational lambda-calculus and monads
An abstract view of programming language
An abstract view of programming language
Proceedings of the 10th Italian Conference on Theoretical Computer Science
Proceedings of the 10th Italian Conference on Theoretical Computer Science