1413 search results - page 59 / 283 » Bisimilarity of Open Terms |
157
click to vote
APAL
2007
15 years 6 months 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...
135
click to vote
SIGCSE
2010
ACM
16 years 28 days 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...
164
click to vote
ASWC
2009
Springer
16 years 20 days 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...
161
Voted
WIKIS
2009
ACM
16 years 17 days 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...
150
click to vote
MSR
2006
ACM
16 years 1 days 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...