The full abstraction problem for higher order functional-logic programs
- López-Fraguas, F.J.
- Rodrvguez-Hortalá, J.
Aktak:
19th Workshop on Logic-based methods in Programming Environments, WLPE 2009
Argitalpen urtea: 2009
Mota: Biltzar ekarpena