Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages

Authors:
Masahito Hasegawa
Affiliations:
-
Venue:
CTCS '95 Proceedings of the 6th International Conference on Category Theory and Computer Science
Year:
1995

A new notation for arrows

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Closed Freyd- and kappa-categories

ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Modelling environments in call-by-value programming languages

Information and Computation
Hardware design with generalized arrows

IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages

Hi-index	0.00