Hoogendijk �1993�. Relational programming laws in the Boom hierarchy of types (0)

by Paul
Venue:In Bird et al. �1993