649 search results - page 19 / 130 » Comparative Evaluation of PL languages |
PADL
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
128
Voted
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
In spoken language processing, considerable research has been accomplished on language identi cation. Singing language identi cation is an important yet challenging area that has ...
108
click to vote
FLAIRS
2009
14 years 11 months ago
2009
1 This study evaluates the robustness of established computational indices used to assess text relatedness in userlanguage. The original User-Language Paraphrase Corpus (ULPC) was ...
116
click to vote
PLDI
1996
ACM
15 years 6 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...