AbstractWe describe how to embed a simple typed functional logic programming language in Haskell. The embedding is a natural extension of the Prolog embedding by Seres and Spivey [16]. To get full static typing we need to use the Haskell extensions of quantified types and the ST-monad
The purpose of this article is twofold. First, we show that Prolog's control constructs can be smoot...
Haskell's type system with multi-parameter constructor classes and functional dependencies allows st...
There exist several implementations of the functional logic lan-guage Curry: a transformation to Pro...
We describe how to embed a simple typed functional logic programming language in Haskell. The embedd...
We describe how to embed a simple typed functional logic programming language in Haskell. The embedd...
AbstractWe describe how to embed a simple typed functional logic programming language in Haskell. Th...
Abstract: We propose an embedding of logic programming into lazy functional programming in which eac...
We propose an embedding of logic programming into lazy functional programming in which each predicat...
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell’s c...
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell&apo...
This thesis focuses on combining the two most important and wide spread declarative programming para...
We present a domain-specific embedded language that allows the definition of rule systems in Haskell...
Static typing is one of the most prominent techniques in the design of programming languages for mak...
Email sjtukcacuk The functional programming language Haskell is examined from the point of view of ...
textabstractThe purpose of this book is to teach logic and mathematical reasoning in practice, and ...
The purpose of this article is twofold. First, we show that Prolog's control constructs can be smoot...
Haskell's type system with multi-parameter constructor classes and functional dependencies allows st...
There exist several implementations of the functional logic lan-guage Curry: a transformation to Pro...
We describe how to embed a simple typed functional logic programming language in Haskell. The embedd...
We describe how to embed a simple typed functional logic programming language in Haskell. The embedd...
AbstractWe describe how to embed a simple typed functional logic programming language in Haskell. Th...
Abstract: We propose an embedding of logic programming into lazy functional programming in which eac...
We propose an embedding of logic programming into lazy functional programming in which each predicat...
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell’s c...
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell&apo...
This thesis focuses on combining the two most important and wide spread declarative programming para...
We present a domain-specific embedded language that allows the definition of rule systems in Haskell...
Static typing is one of the most prominent techniques in the design of programming languages for mak...
Email sjtukcacuk The functional programming language Haskell is examined from the point of view of ...
textabstractThe purpose of this book is to teach logic and mathematical reasoning in practice, and ...
The purpose of this article is twofold. First, we show that Prolog's control constructs can be smoot...
Haskell's type system with multi-parameter constructor classes and functional dependencies allows st...
There exist several implementations of the functional logic lan-guage Curry: a transformation to Pro...
DOI
Add to ORKG