5 search results - page 1 / 1 » plilp 1995 |
109
Voted
PLILP
1995
Springer
15 years 7 months ago
1995
Springer
104
Voted
PLILP
1995
Springer
15 years 7 months ago
1995
Springer
103
Voted
PLILP
1995
Springer
15 years 7 months ago
1995
Springer
ctMachineforOz MichaelMehl,RalfScheidhauer,andChristianSchulte RR-95-0 ResearchRepo
155
Voted
PLILP
1995
Springer
15 years 7 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...
119
Voted
PLILP
1995
Springer
15 years 7 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...