AbstractLinear Logic [6] provides a refinement of functional programming and suggests a new implementation technique, with the following features: •a synthesis of strict and lazy evaluation,•a clean semantics of side effects,•no garbage collector
AbstractThis work introduces a transformation methodology for functional logic programs based on nee...
A criticism often levelled at functional languages is that they do not cope elegantly or efficiently...
This thesis investigates aspects of the general relationship between simply typed lambda-calculus an...
AbstractLinear Logic [6] provides a refinement of functional programming and suggests a new implemen...
AbstractThe paper considers different methods of integrating the functional and logic programming pa...
We derive an abstract machine from the Curry-Howard correspondence with a sequent calculus presentat...
AbstractWe derive an abstract machine from the Curry-Howard correspondence with a sequent calculus p...
As System F is the logical foundation of functional programming, it has long been expected that Clas...
Partial evaluation is a method for program specialization based on fold/unfold transformations [8, 2...
This paper is an overview of existing applications of Linear Logic (LL) to issues of computation. Af...
Logic programming is a flexible programming paradigm due to the use of predicates without a fixed da...
AbstractWe study Girard's linear logic from the point of view of giving a concrete computational int...
Abstract. Languages that integrate functional and logic programming styles with a complete operation...
AbstractA denotational semantics for the λ-calculus is described. The semantics is continuation-base...
AbstractCerrito (1990) has proposed a declarative semantics for allowed logic programs using Girard'...
AbstractThis work introduces a transformation methodology for functional logic programs based on nee...
A criticism often levelled at functional languages is that they do not cope elegantly or efficiently...
This thesis investigates aspects of the general relationship between simply typed lambda-calculus an...
AbstractLinear Logic [6] provides a refinement of functional programming and suggests a new implemen...
AbstractThe paper considers different methods of integrating the functional and logic programming pa...
We derive an abstract machine from the Curry-Howard correspondence with a sequent calculus presentat...
AbstractWe derive an abstract machine from the Curry-Howard correspondence with a sequent calculus p...
As System F is the logical foundation of functional programming, it has long been expected that Clas...
Partial evaluation is a method for program specialization based on fold/unfold transformations [8, 2...
This paper is an overview of existing applications of Linear Logic (LL) to issues of computation. Af...
Logic programming is a flexible programming paradigm due to the use of predicates without a fixed da...
AbstractWe study Girard's linear logic from the point of view of giving a concrete computational int...
Abstract. Languages that integrate functional and logic programming styles with a complete operation...
AbstractA denotational semantics for the λ-calculus is described. The semantics is continuation-base...
AbstractCerrito (1990) has proposed a declarative semantics for allowed logic programs using Girard'...
AbstractThis work introduces a transformation methodology for functional logic programs based on nee...
A criticism often levelled at functional languages is that they do not cope elegantly or efficiently...
This thesis investigates aspects of the general relationship between simply typed lambda-calculus an...
DOI
Add to ORKG