2742 search results - page 382 / 549 » Deriving Category Theory from Type Theory |
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
We investigate how to organize a large collection of geotagged photos, working with a dataset of about 35 million images collected from Flickr. Our approach combines content analy...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
We analyze the social network emerging from the user comment activity on the website Slashdot. The network presents common features of traditional social networks such as a giant ...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Name ambiguity is a special case of identity uncertainty where one person can be referenced by multiple name variations in different situations or even share the same name with ot...