Lazy Narrowing with Parametric Order Sorted Types.

Jesús Manuel Almendros-Jiménez Ana Gil-Luezas Lazy Narrowing with Parametric Order Sorted Types. 159-173 1997 conf/alp/1997 ALP/HOA db/conf/alp/alp97.html#Almendros-JimenezG97 http://dx.doi.org/10.1007/BFb0027009