( en | de | ru )

 

Disambiguation of "Arenas-Sánchez, Puri"

Author of the publication

copydeleteadd this publication to your clipboard
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types.

, and . ILPS, page 53-67. MIT Press, (1997)

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

A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types., and . Theory Pract. Log. Program., 1 (2): 185-245 (2001)A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types, and . CoRR, (2004)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)A Debugging Model for Lazy Functional Logic Languages., and . GULP-PRODE (2), page 117-131. (1994)Minimal Set Unification, and . PLILP, volume 982 of Lecture Notes in Computer Science, page 397-414. Springer, (1995)Combining Lazy Narrowing with Disequality Constraints., , and . PLILP, volume 844 of Lecture Notes in Computer Science, page 385-399. Springer, (1994)A Minimality Study for Set Unification., and . J. Funct. Log. Program., (1997)Reduced Certificates for Abstraction-Carrying Code., , , and . ICLP, volume 4079 of Lecture Notes in Computer Science, page 163-178. Springer, (2006)Real Constraints within a Functional Logic Language., , , and . APPIA-GULP-PRODE, page 451-464. (1996)