Type-directed weaving of aspects for polymorphically typed functional languages
polymorphically typed functional language
scientific article; zbMATH DE number 5774994
scientific article