My Adventures in Programming Language Theory