Here are some snapshots from the journey (dblp):
Constrained Polymorphism (for lack of a better word).
Datalog and Logic Programming.
I used to post at bq9.blogspot.com because it needed minimal effort but I just can't. Editing html with mathjax in this blogger interface is driving me nuts and drains all my writing energy.
Here are some posts: