Several carefully revised lectures from the 6th International School on Functional Programming, A...
This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SB...
This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, worksho...
This book constitutes the proceedings of the Seventh International Symposium on Programming Langu...
Inthisvolumeyouwill?ndthelecturenotescorrespondingtothepres- rd tationsgivenatthe3 summerschoolon...
This tutorial book presents seven carefully revised lectures given at the 6th International Sc...
This book constitutes the refereed proceedings of the Eighth International Symposium on Programmi...
This book constitutes the proceedings of the 19 sup thsupBrazilian Symposium on Progamming...
This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, worksho...