Мне по пути с
этими ребятами. Среди них Philip Wadler, его имя на слуху. Про остальных услышал впервые сегодня.
Today, software tools exploit types to optimise code, whereas they do not exploit protocols; tomorrow, software tools will exploit session types to optimise communication. In short, architects, programmers, and software tools will all be
(
Read more... )