Hi,
Maybe they should double check what
modern compilers do or what modern IDEs
to in object orient programming languages.
How it started:
How to Make Ad Hoc Proof Automation Less Ad Hoc
https://people.mpi-sws.org/~beta/lessadhoc/
How its going:
Optimizing Canonical Structures
https://inria.hal.science/hal-05148851v1/document
The original paper termed canonical structures,
it has a nice visa à visa. “Type Class” Programming
versus “Logic” Programming,
giving it a less functional programming
spin. But hell wasn't there Prolog++ already
in the past?
The newest paper shows new style of research,
citing garbage tickets from TurdPit inside
a paper, and just listing some further
untested and shallow research Turds. Kind
of institutionalize Trial & Error. They could
equally well shoot their own Foot and
then jump in circles.
Bye
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)