179 search results - page 27 / 36 » A calculus of functional BSP programs |
116
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
160
click to vote
AOSD
2012
ACM
13 years 9 months ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
LISP
2007
15 years 1 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
122
Voted
LICS
1994
IEEE
15 years 5 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
119
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...