Four papers accepted to the ACM SIGPLAN International Conference on Functional Programming
Posted: 31st May 2011
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