Papers tagged algebraic data types

• Data types à la carte
• Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
• The Derivative of a Regular Type is its Type of One-Hole Contexts

• Browse
• All Keywords
• By Category