nLab Andreas Abel

Andreas Abel is a Senior Lecturer in the Programming Logic Group, Divison of Computer Science, Department of Computer Science and Engineering at Gothenburg University/Chalmers, a Senior Developer of the dependently-typed language Agda, and the Maintainer of the Backus–Naur-Form Compiler (BNFC).


Created on February 22, 2021 at 13:15:47. See the history of this page for a list of all contributions to it.