161
click to vote
PPDP
15 years 11 months ago
2009 Springer 
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
139
click to vote
PPDP
15 years 11 months ago
2009 Springer 
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
138
click to vote
PPDP
15 years 11 months ago
2009 Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
|
Programming Languages