926 search results - page 45 / 186 » Prolog as the First Programming Language |
116
click to vote
CASES
2001
ACM
15 years 6 months ago
2001
ACM
Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is rema...
106
click to vote
FOAL
2007
ACM
15 years 6 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
104
Voted
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
Higher-order languages that encourage currying are implemented using one of two basic evaluation models: push/enter or eval/apply. Implementors use their intuition and qualitative...
115
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
111
click to vote
ECOOP
1992
Springer
15 years 6 months ago
1992
Springer
The design of many popular object-oriented languages like Smalltalk, Eiffel, or Sather follows a certain trend: The class is the only structuring form. In this paper, the need for ...