Brady, Edwin Charles, University of St Andrews, United Kingdom

• Computer Science Vol. 18 No. 3 - Articles
  Type-driven Development of Concurrent Communicating Systems
  Abstract  PDF