A modular semantics for higher-order declarative programming with constraints
- Del Vado Vírseda, R.
- Morente, F.P.
Proceedings:
PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming
ISBN: 9781450307765
Year of publication: 2011
Pages: 41-51
Type: Conference paper