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

http://www.cs.ox.ac.uk/publications/publication4878-abstract.html

Just do it: Simple monadic equational reasoning

Jeremy Gibbons and Ralf Hinze

http://www.cs.ox.ac.uk/publications/publication4877-abstract.html

Modular verification of preemptive OS kernels

Alexey Gotsman and Hongseok Yang

http://www.cs.ox.ac.uk/publications/publication4986-abstract.html

Proving The Unique Fixed-Point Principle Correct

Ralf Hinze and Daniel W. H. James

http://www.cs.ox.ac.uk/publications/publication4991-abstract.html