27119 search results - page 432 / 5424 » Languages |
184
click to vote
POPL
1989
ACM
15 years 11 months ago
1989
ACM
Dynamic typing can be useful in statically typed languages. We extend the simply typed λ-calculus with dynamic typing and elaborate additional features like polymorphism and subty...
168
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...
178
click to vote
CICLING
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Automated language identification of written text is a wellestablished research domain that has received considerable attention in the past. By now, efficient and effecti...
156
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
176
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...