106 search results - page 22 / 22 » Dependent type inference with interpolants |
SIGECOM
2008
ACM
13 years 4 months ago
2008
ACM
Trust between a pair of users is an important piece of information for users in an online community (such as electronic commerce websites and product review websites) where users ...