External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A modular semantics for higher-order declarative programming with constraints

Rafael del Vado Vírseda, Fernando Pérez Morente. A modular semantics for higher-order declarative programming with constraints. In Peter Schneider-Kamp, Michael Hanus, editors, Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark. pages 41-52, ACM, 2011. [doi]

Authors

Rafael del Vado Vírseda

This author has not been identified. Look up 'Rafael del Vado Vírseda' in Google

Fernando Pérez Morente

This author has not been identified. Look up 'Fernando Pérez Morente' in Google
runs on