Comment by tromp

The Alonzo programming language named after him [1] has mostly been forgotten.

[1] https://dl.acm.org/doi/pdf/10.1145/68127.68139