Publications
| Publication |
| Control Flow in Functional Languages -- Formally taming lambdas |
| Shivers' Control Flow Analysis |
| The shivers-cfg package |
Advisors
| Former Staff Member |
|---|
| Dr. rer. nat. Andreas Lochbihler |
Students
| Former Staff Member |
|---|
| Dr. rer. nat. Joachim Breitner |