( en | de | ru )

 

Disambiguation of "Arenas-Sánchez, Puri"

Author of the publication

copydeleteadd this publication to your clipboard
Embedding Multiset Constraints into a Lazy Functional Logic Language.

, , and . PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, page 429-444. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David Sánchez Sánchez

Antonia Sánchez

Yerson Sánchez

Nydia Sánchez

David Sánchez

 

Other publications of authors with the same name

Embedding Multiset Constraints into a Lazy Functional Logic Language., , and . PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, page 429-444. Springer, (1998)A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types., and . TAPSOFT, volume 1214 of Lecture Notes in Computer Science, page 453-464. Springer, (1997)Real Constraints within a Functional Logic Language., , , and . APPIA-GULP-PRODE, page 451-464. (1996)A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types., and . ILPS, page 53-67. MIT Press, (1997)A Debugging Model for Lazy Narrowing, and . PLILP, volume 982 of Lecture Notes in Computer Science, page 453-454. Springer, (1995)Functional Plus Logic Programming with Built-In and Symbolic Constraints., , and . PPDP, volume 1702 of Lecture Notes in Computer Science, page 152-169. Springer, (1999)Reduced Certificates for Abstraction-Carrying Code., , , and . ICLP, volume 4079 of Lecture Notes in Computer Science, page 163-178. Springer, (2006)A Debugging Model for Lazy Functional Logic Languages., and . GULP-PRODE (2), page 117-131. (1994)A Minimality Study for Set Unification., and . J. Funct. Log. Program., (1997)Minimal Set Unification, and . PLILP, volume 982 of Lecture Notes in Computer Science, page 397-414. Springer, (1995)