1989 search results - page 140 / 398 » Set functions for functional logic programming |
127
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
130
click to vote
PEPM
1993
ACM
15 years 7 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
141
click to vote
CALCO
2005
Springer
15 years 8 months ago
2005
Springer
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...
DATESO
2004
15 years 4 months ago
2004
In this paper we present a storage method for sets of first order logic terms in a relational database using function symbols based indexing method of Discrimination trees. This is...
116
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...