Jeremy Gibbons profile picture

Jeremy Gibbons

Is this your author profile? Create an account to customize it!

Stand Alone

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
Generic Programming IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany