Functorial ML

Authors:
Gianna Bellè;C. Barry Jay;Eugenio Moggi
Affiliations:
-;-;-
Venue:
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
Year:
1996

PolyP—a polytypic programming language extension

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Transformation-by-Example for XML

PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Container types categorically

Journal of Functional Programming
Functorial ML

Journal of Functional Programming
2-Dimensional Directed Type Theory

Electronic Notes in Theoretical Computer Science (ENTCS)

Hi-index	0.00