Typing Program Links