Scholar
Casper Bach
Google Scholar ID: cK5ddQ4AAAAJ
IMADA, SDU, Denmark
Programming Languages
Type Systems
Semantics
Safe-by-Construction Programming
Modularity
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
372
H-index
11
i10-index
12
Publications
20
Co-authors
17
list available
Publications
2 items
Generic Reduction-Based Interpreters (Extended Version)
2025
Cited
0
Language-Parametric Reference Synthesis (Extended)
2025
Cited
0
Co-authors
2 total
Nicolas Wu
Professor of Computer Science, Imperial College London
Sven Keidel
TU Darmstadt, Germany
