Functorial Blog - Higher-order Abstract Syntax for Cartesian Closed Categories - discu.eu

Reddit

Higher-order Abstract Syntax for Cartesian Closed Categories https://blog.functorial.com/posts/2017-10-08-HOAS-CCCs.html 2 comments 11/3/2022 haskell

Higher-order Abstract Syntax for Cartesian Closed Categories http://blog.functorial.com/posts/2017-10-08-hoas-cccs.html 3 comments 10/10/2017 haskell

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:blog.functorial.com

Search title: Functorial Blog - Higher-order Abstract Syntax for Cartesian Closed Categories

See how to search.

Submit link to: