Using Category Theory to Design Programming Languages.

John C. Reynolds

Browse the full ESOP paper archive.