Arthur Charguéraud
Research
Binders
Capabilities
Verification
Fixed points
Granularity
Pretty-big-step
JavaScript
Publications
by venue
by project
by date
Talks
by venue
by project
by date
Software
LN
CFML
TLC
PASL
Teaching
France-IOI
Coq proofs
Verification
Home
–
Contact
Pretty-big-step semantics
Please see
the pretty-big-step page
.