All Stories

  1. An elegant way to solve the longest increasing subsequence problem

    Article • Proceedings of the ACM on Programming Languages, August 2025, ACM (Association for Computing Machinery)

    Alexander Dinges

  2. What's in a Bag?: An “Application Proving Interface” for Finite Bags and its Implementation

    Article • August 2023, ACM (Association for Computing Machinery)

    Alexander Dinges