Paul Tarau has some other very interesting (IMO) work. For example, in re: representation of large numbers with efficient arithmetic algorithms. He also exten

Paul Tarau has some other very interesting (IMO) work. For example, in re: representation of large numbers with efficient arithmetic algorithms. He also extends it to encoding lambda terms and other fun stuff. IIRC the new implementation of Prolog falls out of his work encoding Prolog terms. https://www.cse.unt.edu/~tarau/ https://www.cse.unt.edu/~tarau/