FreshML Research Project
|Computer Laboratory > Andrew Pitts > FreshML Research Project|
The FreshML research project investigated methods in functional programming for manipulating syntax involving α-convertible names and binding operations, based on the permutation model of name binding pioneered by Pitts and Gabbay.
The project, which started in 2001 and finished at the end of 2004, was funded by EPSRC grant GR/R07615/1 and a donation from Microsoft Research Cambridge. It was led by Andrew Pitts and employed Jamie Gabbay, Mark Shinwell and Peter White (graduate intern) at Cambridge University. There was collaboration with Mike Gordon and Christian Urban at Cambridge University, Simon Peyton Jones and Nick Benton at Microsoft Research Cambridge, and James Cheney visiting from Cornell University.
Some of the main achievements of the project were:
On this web site you can find: