102 citations · 226 across the 18 of their papers we have counts for
1 paper · 1 filter
Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic
There has been a considerable amount of work on retrieving functions in function libraries using their type as search key. The availability of rich component specifications, in the…