Hello everyone,
While fooling about with generalized tries a night or two ago, I found myself
once again interacting with fixed points of shape functors and the like, and
so decided it was time to finish cabalizing David Menendez' excellent
category theory inspired modules.[1]
So, it is my ple
2ND CALL FOR PARTICIPATION
6TH INTERNATIONAL SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING 2008
(AFP ’08)
RADBOUD UNIVERSITY NIJMEGEN AND UTRECHT UNIVERSITY, THE NETHERLANDS
MAY 19-24, 2008
http://www.st.cs.ru.nl/AFP_TFP_2008/
[ EARLY REGISTRATION OPENS ]
AFP is a series of international su
3RD CALL FOR PAPERS
TRENDS IN FUNCTIONAL PROGRAMMING 2008
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
MAY 26-28, 2008
INVITED SPEAKER: PROF. HENK BARENDREGT
http://www.st.cs.ru.nl/AFP_TFP_2008/
[EXTENDED DEADLINE SUBMISSIONS: march 10 2008]
[ SUBMISSION SITE IS OPEN ]
[ REGISTRATION SITE IS OPEN