damien
Author's home page in this site…
Latest content created by this user
| Page | |
|---|---|
| Efficient Local Type Inference | 05 July 2008 |
| .QL: Object-Oriented Queries Made Easy | 05 July 2008 |
| .QL for Source Code Analysis | 05 July 2008 |
| Type Inference for Datalog and its Application to Query Optimisation | 05 July 2008 |
| Adding Magic to an Optimising Datalog Compiler | 05 July 2008 |
| Event | |
| Metacomputation Seminar: Don Syme | 01 May 2006 |
| File | |
| Efficient Local Type Inference | 05 July 2008 |
| neilfest.pdf | 08 March 2008 |
| launchday.pdf | 08 March 2008 |
| cambridge.pdf | 08 March 2008 |
| icfp07.pdf | 08 March 2008 |
| Folder | |
| Research Projects | 08 March 2008 |
| Talks | 08 March 2008 |
| Personal Items for damien | 07 March 2008 |
| Damien Sereni's Publications | 05 March 2006 |
| Internal Info | 03 March 2006 |
| News Item | |
| Centre for Metacomputation launched | 03 March 2006 |