Computer Laboratory

OCaml Labs

Ian Leslie

Cambridge Computer Laboratory
Principal Investigator
http://www.cl.cam.ac.uk/~iml1

Projects

These are the projects that Ian is working on. The project list includes other people's tasks on the same project too, as it's helpful to see interdependencies this way. Click on the project headings to see more information about it.

Illuminate

Connecting cyber-physical devices with rigorous programming, coordination and persistence.

Sep '12Oct '12Nov '12Dec '12Jan '13Feb '13Mar '13Apr '13May '13Jun '13Jul '13Aug '13Sep '13Oct '13Nov '13Dec '13Jan '14Feb '14Mar '14Apr '14
Heidi Howard Signpost prototype
Daniel Bünzli Declarative graphing library
Anil Madhavapeddy Raspberry OCaml