8141 search results - page 63 / 1629 » Higher Order Generalization |
127
click to vote
PLILP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
102
Voted
POPL
1995
ACM
15 years 4 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
113
Voted
TAPSOFT
1995
Springer
15 years 4 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
92
Voted
POPL
1991
ACM
15 years 4 months ago
1991
ACM
63
Voted
DLOG
2008
15 years 3 months ago
2008