Papers in languages paradigms/functional programming