Informasi yang berkaitan dengan ru/Philip Wadler