1675 search results - page 68 / 335 » Some thoughts on teaching programming and programming langua... |
126
click to vote
FPCA
1989
15 years 8 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
120
click to vote
JUCS
2008
15 years 4 months ago
2008
: Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of ...
137
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
135
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
122
click to vote
ENTCS
2007
15 years 4 months ago
2007
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...