This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SB...
This book constitutes the refereed proceedings of the Eighth International Symposium on Programmi...
This tutorial book presents seven carefully revised lectures given at the 6th International Schoo...
thetheorybehindmanythingscommonlywrittenbyfunctionalprogrammers. Oneofthemainachievementsofthepro...
This book constitutes the proceedings of the Seventh International Symposium on Programming Langu...