An abstract machine based system for a lazy narrowing calculus
- Hortalá-González, T.
- Ullán, E.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540417392
Ano de publicación: 2001
Volume: 2024
Páxinas: 216-232
Tipo: Achega congreso
ISSN: 1611-3349, 0302-9743
ISBN: 9783540417392
Ano de publicación: 2001
Volume: 2024
Páxinas: 216-232
Tipo: Achega congreso