Wednesday, July 20, 2016

The UT Year of Programming Series

Concurrent Programming (Editor: C.A.R. Hoare Oxford University)
Logical Foundations of Functional Programming (Editor: Gerard Huet Inria Rocquencourt)
Research Topics in Functional Programming (Editor: David Turner University of Kent)
Formal Development of Programs and Proofs (Editor: Edsger W. Dijkstra The University of Texas at Austin)


  • Tony Hoare's YoP Institute on concurrency
  • Gries's YoP Institute on encapsulation
  • Huet's YoP Institute on logiical foundations of functional programming
  • Gordon and Hunt's YoP Institute on formal specification and verification of hardware
  • Turner's YoP Institute on declarative programming
  • Dijkstra's YoP Institute on formal development


No comments: