TY - JOUR
T1 - Journal of Functional Programming
T2 - Preface
AU - McBride, Conor
AU - Uustalu, Tarmo
PY - 2009/7
Y1 - 2009/7
N2 - This special issue of the Journal of Functional Programming collects revised selected articles arising from the inaugural meeting of the Workshop on Mathematically Structured Functional Programming, MSFP 2006, held in Kuressaare, Estonia, on 2 July 2006, with support from the European Union's FP6 IST Coordination Action TYPES. This workshop raised the curtain for the Eighth International Conference on Mathematics of Program Construction, MPC 2006, but where MPC is concerned primarily with extrinsic mathematics supporting the programming process, MSFP has a complementary focus on the mathematics intrinsic to programs themselves. MSFP is about the extraction of functionality from structure.
AB - This special issue of the Journal of Functional Programming collects revised selected articles arising from the inaugural meeting of the Workshop on Mathematically Structured Functional Programming, MSFP 2006, held in Kuressaare, Estonia, on 2 July 2006, with support from the European Union's FP6 IST Coordination Action TYPES. This workshop raised the curtain for the Eighth International Conference on Mathematics of Program Construction, MPC 2006, but where MPC is concerned primarily with extrinsic mathematics supporting the programming process, MSFP has a complementary focus on the mathematics intrinsic to programs themselves. MSFP is about the extraction of functionality from structure.
UR - http://www.scopus.com/inward/record.url?scp=67749098007&partnerID=8YFLogxK
U2 - 10.1017/S0956796809007242
DO - 10.1017/S0956796809007242
M3 - Editorial
AN - SCOPUS:67749098007
SN - 0956-7968
VL - 19
SP - 263
EP - 264
JO - Journal of Functional Programming
JF - Journal of Functional Programming
IS - 3-4
ER -