8766 search results - page 471 / 1754 » Functional logic programming |
122
Voted
TOOLS
1997
IEEE
15 years 8 months ago
1997
IEEE
We describe how to express homomorphic translations with an object-oriented design. This includes a uniform approach to the addition of external functionality to data structures. ...
131
Voted
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
This paper considers the complexity of interprocedural function pointer may-alias analysis, i.e., determining the set of functions that a function pointer (in a language such as C...
131
Voted
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
119
Voted
SCP
1998
15 years 3 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
110
click to vote
PLPV
2009
ACM
16 years 1 months ago
2009
ACM
Haskell’s multi-parameter type classes, together with functional dependencies, allow the specification of complex type-level opera