Contributions.- A Framework for Point-Free Program Transformation.- Encoding Strategies in the La...
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 20...
This volume presents the thoroughly revised and extended lecture notes of the first SusTrainable ...
This volume presents the revised, extended lecture notes of the 3COWS Winter School on Composabil...