Add dependent types at work paper