A semantics for weakly encapsulated search in functional logic programs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel. A semantics for weakly encapsulated search in functional logic programs. In Ricardo Peña, Tom Schrijvers, editors, 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013. pages 49-60, ACM, 2013. [doi]

The following publications are possibly variants of this publication:

A residualizing semantics for the partial evaluation of functional logic programsElvira Albert, Michael Hanus, Germán Vidal. ipl, 85(1):19-25, 2003. [doi]

runs on WebDSL