Archived tweet #7097 from the @leastfixedpoint Twitter Archive

RT @lambda_calculus: Congrats to @asumu & co for winning the distinguished paper award at ECOOP with "Towards Practical Gradual Typing"!! h…