66 search results - page 4 / 14 » You're doing it wrong |
POPL
2001
ACM
14 years 9 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
Browsing the Web on mobile phones has finally hit the mass. The visualization of websites on latest mobile phone models comes close to what we are used from desktop computers. Tai...
SYNTHESE
2010
13 years 7 months ago
2010
I examine the radical contextualists’ two main arguments for the semantic underdeterminacy thesis, according to which all, or almost all, English sentences lack context-independ...
EMNLP
2010
13 years 6 months ago
2010
Automatic evaluation of Machine Translation (MT) quality is essential to developing highquality MT systems. Various evaluation metrics have been proposed, and BLEU is now used as ...
ICFP
2001
ACM
14 years 8 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...