1. 12
    A categorical programming language (1987) ☶ pdf compsci math programming web.archive.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments

Category theory pops up here occasionally. This is the first language I found designed for it.

  1.