$\bot$-up

Programming languages and formal methods, from the bottom-up.