Dear all,

it's my pleasure to announce that I have a new paper accepted at ELS
2023, the 16th European Lisp Symposium, to be held by the end of this
month in Amsterdam. Title and abstract below…

An Elegant and Fast Algorithm for Partitioning Types


We present an improvement on the Maximal Disjoint Type Decomposition 
algorithm, published previously. The new algorithm is shorter than 
the previously best known algorithm in terms of lines of code, and 
performs better in many, but not all, bench marks. Additionally the 
algorithm computes meta data which makes the Brzozowski derivative 
easier to compute--easier in terms of accuracy and computation time. 
Another advantage of this new algorithm is its resilience in light of limited 
subtypep implementations.