Home
Curriculum Vitæ
Projects
Publications
Talks
Teaching
Sharing
Master Thesis Topics
Agda implementation of collections
Correct-by-construction key-value maps in Agda.
Announced: 2018-10-21
A Tutorial Proof Checker, Reloaded
Designing and implementing an IDE-like editor for natural deduction proofs.
Announced: 2017-10-20
Completed Master Theses
Agda's scope checker implemented in Agda
Bootstrapping a front-end for the Agda language.
Announced: 2018-10-21 Completed: Fall 2023 by Francesco Gazzetta
Simple and robust layout rules for parsing programming language code
Designing a framework for layout-sensitive grammars and implementing a parser generator.
Announced: 2017-03-12
Completed: April 2023 by Beata Burreau
[
Home
|
CV
|
Projects |
Publications
|
Talks
|
Teaching
|
Sharing
]
Andreas Abel
,
http://www.cse.chalmers.se/~abela
Last modified: 2023-10-09 13:35>