Didier Buchs

Summary

• 2 papers in 2 bundles
• Top 3 popular topics:
  • T1B: Static Semantics (2 times)
  • T4A: Workbenches (2 times)
  • T5D: Formal Methods (2 times)
• Top coauthor:
  • Dimi Racordon (2 times)
• Made 2 contributions (see below)

List of contributions

• (SLE 2018) Coauthored A Practical Type System for Safe Aliasing (Dimi Racordon, Didier Buchs)
• (SLE 2020) Coauthored Featherweight Swift: A Core Calculus for Swift’s Type System (Dimi Racordon, Didier Buchs)

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.