1 The Algebra of Algebraic Data Types 2013129 points14 commentscited by 4Software Engineering details