Semantics and Types in Functional Logic Programming

@inproceedings{Moreno1999SemanticsAT,
  title={Semantics and Types in Functional Logic Programming},
  author={Juan Carlos Gonz{\'a}lez Moreno and Maria Teresa Hortal{\'a}-Gonz{\'a}lez and Mario Rodr{\'i}guez-Artalejo},
  booktitle={Fuji International Symposium on Functional and Logic Programming},
  year={1999}
}
The rewriting logic CRWL has been proposed as a semantic framework for higher-order functional logic programming, using applicative rewriting systems as programs and lazy narrowing as the goal solving procedure. We present an extension of CRWL with a polymorphic type system, and we investigate the consequences of type discipline both at the semantic level… CONTINUE READING