Papers in languages paradigms/functional reactive programming