1413 search results - page 59 / 283 » Bisimilarity of Open Terms |
107
Voted
APAL
2007
15 years 28 days ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
87
Voted
SIGCSE
2010
ACM
15 years 7 months ago
2010
ACM
Topics in the field of Web Information Retrieval (IR) and web search are slowly being introduced at the undergraduate level. In this paper, we show how the curriculum for a new u...
105
Voted
ASWC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The increasing amount of interlinked RDF data has finally made available the necessary building blocks for the web of data. This in turns makes it possible (and interest...
105
Voted
WIKIS
2009
ACM
15 years 7 months ago
2009
ACM
Wikipedia has been very successful as an open encyclopedia which is editable by anybody. However, the anonymous nature of Wikipedia means that readers may have less trust since th...
100
Voted
MSR
2006
ACM
15 years 6 months ago
2006
ACM
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...