3 ms·
> It is well-known that the simply typed lambda-calculus is modeled by any cartesian closed category (CCC). This correspondence suggests giving typed functional
by carapace 3y ago
> It is well-known that the simply typed lambda-calculus is modeled by any cartesian closed category (CCC). This correspondence suggests giving typed functional programs a variety of interpretations, each corresponding to a different category.
http://conal.net/papers/compiling-to-categories/ http://conal.net/papers/compiling-to-categories/