CfPBoK
by
Vadim Zaytsev
Didier Buchs
SLE 2018
⭐
SLE 2020
⭐
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.