Next: University of Manchester
Up: Progress Report
Previous: University of Edinburgh
University of Helsinki
Petri Mäenpää has worked at Nokia Networks in the joint HiBase project
with Helsinki University of Technology. The goal of this project is to
develop a high-performance database programming environment with
challenging additional features required in telecom applications. Mäenpää
has been designing and implementing the static type system of Shines,
the programming language developed in the HiBase project. His recent
work has focused on polymorphic subtype inference, on using the
grammatical framework GF for prototyping programming language design
featrures, and on the use of dependent types in databases.
Sara Negri and Jan von Plato have finished the book
"Structural Proof Theory" (Cambridge University Press, to appear).
Aarne Ranta, during a short period of work in Helsinki, implemented
as part of the book a proof editor for developing formal derivations
in sequent calculus. The system is called PESCA and is implemented
in the language Haskell.
Next: University of Manchester
Up: Progress Report
Previous: University of Edinburgh