TY  - RPRT
TI  - A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types
AU  - Puri Arenas-Sanchez
AU  - Mario Rodriguez-Artalejo
PY  - 2004
UR  - https://arxiv.org/abs/cs/0404050
ID  - cs/0404050
ER  -