Publikationen, an denen er mitarbeitet RICARDO VICENTE PEÑA MARÍ (1)

2001

  1. Adding traces to a lazy monadic evaluator

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)