Publikationen in Zusammenarbeit mit Forschern von Rheinisch-Westfälische Technische Hochschule Aachen University (1)

1999

  1. A partial evaluation framework for curry programs

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