Real World Type-Level Programming
by Stefan Baumgartner
Buy at O'Reilly Learning Amazon US DE UK FR IT NL BE Thalia AT Barnes & Noble jpc