St Andrews Functional Programming Group

Dr Roy Dyckhoff

Recent Publications