CfPBoK
by
Vadim Zaytsev
Matteo Cimini
SLE 2018
💡
SLE 2019
🔍
SLE 2020
⭐
SLE 2022
⭐
SLE 2025
🔍
Summary
3
papers in
3
bundles
Top 3 popular topics:
T5D: Formal Methods
(
3
times)
T6D: Synergies
(
1
times)
T4D: Interpretation
(
1
times)
Top 3 coauthors:
∅
(
2
times)
Dale Miller
(
1
times)
Jeremy G. Siek
(
1
times)
Made
5
contributions (see below)
List of contributions
(
SLE 2018
)
Authored
Languages as First-Class Citizens
(
Matteo Cimini
)
(
SLE 2019
)
Served on
PC
(
SLE 2020
)
Coauthored
Extrinsically Typed Operational Semantics for Functional Languages
(
Matteo Cimini
,
Dale Miller
,
Jeremy G. Siek
)
(
SLE 2022
)
Authored
Lang-n-Prove: A DSL for Language Proofs
(
Matteo Cimini
)
(
SLE 2025
)
Served on
PC
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.