7 citations · 11 across the 10 of their papers we have counts for
Showing 2006 · cs.PLShow all
2 papers · 2 filters
cs.PL2006★ 1 cited
Towards Applicative Relational Programming
H. Ibrahim, M. H. van Emden
Functional programming comes in two flavours: one where ``functions are first-class citizens'' (we call this applicative) and one which is based on equations (we call this declarat…
cs.PL2006
Compositional Semantics for the Procedural Interpretation of Logic
M. H. van Emden
Semantics of logic programs has been given by proof theory, model theory and by fixpoint of the immediate-consequence operator. If clausal logic is a programming language, then it…