Data Types as Initial Algebras: A unification of Scottery and ADJery (Extended Abstract)

Akira Kanda

Browse the full FOCS paper archive.