Skip to main content

Four papers accepted to the ACM SIGPLAN International Conference on Functional Programming


Six members of Oxford’s Department of Computer Science have had four papers accepted to the 16th ACM SIGPLAN International Conference on Functional Programming, in Tokyo, Japan, in September  2011.

ICFP 2011 provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.


The papers are as follows:

Incremental Updates for Efficient Bidirectional Transformations

Meng Wang, Jeremy Gibbons and Nicolas Wu


Just do it: Simple monadic equational reasoning

Jeremy Gibbons and Ralf Hinze


Modular verification of preemptive OS kernels

Alexey Gotsman and Hongseok Yang


Proving The Unique Fixed-Point Principle Correct

Ralf Hinze and Daniel W. H. James