10871 search results - page 418 / 2175 » A stable programming language |
183
click to vote
POPL
1989
ACM
15 years 10 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...
174
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,...
160
Voted
FPCA
1995
15 years 10 months ago
1995
We add functional continuations and prompts to a language with an ML-style type system. The operators signi cantly extend and simplify the control operators in SML/NJ, and can be ...
161
Voted
POPL
1995
ACM
15 years 10 months ago
1995
ACM
Obliq is a lexically-scoped, untyped, interpreted language that supports distributed object-oriented computation. Obliq objects have state and are local to a site. Obliq computati...
199
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
This study examines the comprehension and modification by novices of programs written with taskspecific and non-task-specific constructs. Teachers who write programs for use in th...