PLILP 1995 | Sciweavers

16

PLILP
1995
Springer

170views Programming Languages» more PLILP 1995»

A Complete Narrowing Calculus for Higher-Order Functional Logic Programming

13 years 8 months ago

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...

Koichi Nakahara, Aart Middeldorp, Tetsuo Ida

claim paper

Read More »

11

click to vote

PLILP
1995
Springer

83views Programming Languages» more PLILP 1995»

A Semantic Model of Binding Times for Safe Partial Evaluation

13 years 8 months ago

Download repository.readscheme.org

Fritz Henglein, David Sands

claim paper

Read More »

6

click to vote

PLILP
1995
Springer

110views Programming Languages» more PLILP 1995»

An Abstract Machine for Oz

13 years 8 months ago

Download web.it.kth.se

ctMachineforOz MichaelMehl,RalfScheidhauer,andChristianSchulte RR-95-0 ResearchRepo

Michael Mehl, Ralf Scheidhauer, Christian Schulte

claim paper

Read More »

14

click to vote

PLILP
1995
Springer

97views Programming Languages» more PLILP 1995»

Local Linear Logic for Locality Consciousness in Multiset Transformation

13 years 8 months ago

Download doc.utwente.nl

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...

Hugh McEvoy, Pieter H. Hartel

claim paper

Read More »

10

click to vote

PLILP
1995
Springer

109views Programming Languages» more PLILP 1995»

Efficient Multi-level Generating Extensions for Program Specialization

13 years 8 months ago

Download www.sato.kuis.kyoto-u.ac.jp

Robert Glück, Jesper Jørgensen

claim paper