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)
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