Fixed point calculus applied to generic programming (0)

by Roland Backhouse