Comment by eichin
2 hours ago
Ah, not related to Hans Boehm of the Boehm GC though (the Barry Boehm page even has a "not to be confused with" header.)
2 hours ago
Ah, not related to Hans Boehm of the Boehm GC though (the Barry Boehm page even has a "not to be confused with" header.)
I thought of that too. Seems like the right last name to have.