1320 search results - page 153 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
125
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...
141
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Nested data-parallelism (NDP) is a declarative style for programming irregular parallel applications. NDP languages provide language features favoring the NDP style, efficient com...
127
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
150
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
133
click to vote
PEPM
1999
ACM
15 years 7 months ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...