The Beauty and the Beast: Separating Design from Algorithm
Abstract elided by the publisher.
Related papers
- Beauty in the beast Haskell 2007
- A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈ POPL 2023
- Beautiful Interpolants CAV 2013
- Red-Black Trees in a Functional Setting JFP 1999
- Beautiful differentiation ICFP 2009
- Monoids: theme and variations (functional pearl) Haskell 2012
- Explaining Binomial Heaps JFP 1999
- Grokking the Sequent Calculus (Functional Pearl) ICFP 2024