Seminar ‘Functional Pearls’ – Topics

Chair for Logic and Verification

The following list of topics is provisional. Topics may still be added, removed, or altered.

Note that some topics are only available for BSc students, some only for MSc students and some for both (although a more thorough and detailed presentation is then expected of MSc students).

Topic Supervisor Type (BSc/MSc)
A Play on Regular Expressions Simon Roßkopf BSc
Trouble Shared is Trouble Halved Lukas Stevens BSc
Linear Bounded Functional Pretty Printing Simon Roßkopf MSc
Enumerating the Rationals Tobias Nipkow BSc
Parallel Parsing Processes Jonas Rädle both
Algebraic Graphs with Class Mohammad Abdulaziz both
Enumerating the Strings of Regular Languages Manuel Eberl BSc
Normalization by Evaluation with Typed Abstract Syntax Fabian Huch BSc
Scrap Your Zippers Manuel Eberl BSc
Data Types à la Carte Lukas Stevens both
A Smart View on Datatypes Lukas Stevens MSc
Theorems For Free! Tobias Nipkow MSc
Fast and Loose Reasoning is Morally Correct Kevin Kappelmann MSc