The full abstraction problem for higher order functional-logic programs
- López-Fraguas, F.J.
- Rodrvguez-Hortalá, J.
Actas:
19th Workshop on Logic-based methods in Programming Environments, WLPE 2009
Año de publicación: 2009
Tipo: Aportación congreso