Pierce et al.'s Software Foundations book with my solutions