10622 search results - page 201 / 2125 » Python Programming Language |
152
click to vote
PPCP
1993
15 years 7 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
113
click to vote
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we explore the idea that the code that constitutes a program actually forms a higher-level, program specific language. The symbols of the language are the abstracti...
225
click to vote
POPL
2006
ACM
16 years 3 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...
113
click to vote
VL
2003
IEEE
15 years 8 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...
