Keith Clarke

keithc@dcs.qmw.ac.uk,
Department of Computer Science,
Queen Mary and Westfield College,
University of London, UK, EU.

New for 2nd December 1994

I've created a prototype page for the Department's Theory Group.

There's also a form for you to fill in, to add a conference announcement or Call for Papers to the list already there.

Research

My research is into programming language implementation, particularly using functional programs - normally in SML - to produce pretty and concise descriptions of 'standard' compiling problems such as are found in imperative languages like C and Pascal. Various papers and programs on these topics are available by ftp, particularly a pretty-printer for SML, written in SML, which is part of a larger project to provide a portable quasi-quoting system for SML. Recently I've joined with Richard Bornat and Bernard Sufrin, working on a new Logic Description Language for their proof-editor Jape . Other Jape papers are available from the QMW Jape ftp site.

Jon Hill, jointly supervised by Richard Bornat, Heather Liddell and myself, has recently obtained his PhD for work on Parallel Functional Programming.

Contact