This volume constitutes the post-proceedings of the 18th International Workshop on Implementation...

Volume 10 in the Trends in Functional Programming (TFP) series presents some of the latest resear...

This book constitutes the thoroughly refereed post-conference proceedings of the 11th Internation...

This volume presents the revised lecture notes of selected talks given at the Third Central Europ...

This volume presents the revised lecture notes of selected talks given at the Fourth Central Euro...

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Bu...

This volume presents the revised lecture notes of selected talks given at the 6th Central Europea...

This book constitutes revised selected papers from the 22nd International Symposium on Trends in ...

This volume presents the revised lecture notes of selected talks given at the Fifth Central Europ...

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Bu...

This volume presents the revised lecture notes of selected talks given at the 6th Central Euro...

This book constitutes revised selected papers from the 22nd International Symposium on Trends ...