10912 search results - page 296 / 2183 » Object-Oriented Programming Languages |
292
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
158
click to vote
VL
2003
IEEE
15 years 12 months ago
2003
IEEE
At the beginning stage of programming education, comprehending program logics plays a more important role than capturing knowledge of a specific program language. In this paper, t...
158
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents an interactive framework for pupils to learn the basic concepts of programming by means of the functional programming language Erlang. Beside the idea of the f...
