1320 search results - page 131 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
125
Voted
ENTCS
2006
15 years 3 months ago
2006
The LR parser generators that are bundled with many functional programming language implementations produce code that is untyped, needlessly inefficient, or both. We show that, us...
152
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...
122
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
155
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
128
Voted
DEBS
2008
ACM
15 years 5 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...