Containers -- Constructing Strictly Positive Types (2004)

by Michael Abbott , Thorsten Altenkirch , Neil Ghani
Citations:85 - 28 self