On the implementation of construction functions for non-free concrete data types

Cached

Download Links

by Frédéric Blanqui , Thérèse Hardin , Pierre Weis
Venue:in "16th European Symposium on Programming - ESOP’07
Citations:9 - 0 self