4 ms·Memoizing Polymorphic Functions with High School Algebra and Quantifiers2 points by dons 17y ago