Skip to content

A modular semantics for higher-order declarative programming with constraints.

Rafael del Vado Vrseda, Fernando Prez Morente

VenueCPPDP
Year2011
ProceedingsPPDP

Browse the full PPDP paper archive.