Programming with Types
Brand: Manning Publications