Using Category Theory to Design Programming Languages

Authors:
John C. Reynolds
Affiliations:
Computer Science Department, Carnegie Mellon University, Pittsburgh, U.S.A.
Venue:
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Year:
2009

Citing 0
Cited 1

Categorial semantics of a solution to distributed dining philosophers problem

FAW'10 Proceedings of the 4th international conference on Frontiers in algorithmics

Quantified Score

Hi-index	0.00

Visualization

Abstract

In a 1980 paper entitled "Using Category Theory to Design Conversions and Generic Operators", the author showed how the concepts of category theory can guide the design of a programming language to avoid anomalies in the interaction of implicit conversions and generic operators.