Computational lambda-calculus and monads

View on Open Library

Computational lambda-calculus and monads

by Eugenio Moggi

No reviews yet

First published: 1988 1 language

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Eugenio Moggi

Theoretical Computer Science

Theoretical Computer Science

Proceedings of the 10th Italian Conference on Theoretical Computer Science

Proceedings of the 10th Italian Conferen...

Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07

Proceedings of the 10th Italian Conferen...

Category theory and computer science

Category theory and computer science

An abstract view of programming language

An abstract view of programming language

Category theory and computer science

Category theory and computer science