LFCS reports 2002
Since January 2000, LFCS technical reports have appeared as part of the Division of Informatics report series.
The Division does not yet maintain an archive of PhD theses, so these are still published by LFCS and are listed below.
- Diagrammatic Representations in Domain-Specific Languages
Konstantinos Tourlas
- Repairing Type Errors in Functional Programs
Bruce James McAdam
- Mobile Computation with Functions
Zeliha Dilsun Kirli
- Asynchronous Queue Machines with Explicit Forwarding
Lennart Beringer
- Conservative extensions of the lambda-calculus
for the computational interpretation of sequent calculus
José Carlos Soares do Espírito Santo