Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Andrzej Filinski's home page

Andrzej Filinski's home page

I've moved!

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

Old contact information

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

Research

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