Andrzej Filinski's home page

I've moved!

I'm at BRICS now. Go to my new home page.

Email (best):: aof@dcs.ed.ac.uk
Royal Mail:: Andrzej Filinski
Department of Computer Science
King's Buildings, Mayfield Road
Edinburgh EH9 3JZ
Scotland, UK
Phone (noon-midnight, GMT):: +44 131 650 5145
Fax:: +44 131 667 7209

Primary interests:

Programming language design and implementation, especially semantics of computational effects in functional programming languages.
Logical frameworks and type theory, especially as applied to formalizing and reasoning about programming languages and their implementations.

Electronic copies of some of my publications are available.

New: The 1997 Workshop on Continuations CFP is now on the Web.

aof@dcs.ed.ac.uk