Search

16 Jan 2009: Computer Laboratory. Course material 2008–09. ». Semantics of Programming Languages. 2008–09. Principal lecturer: Dr Peter Sewell. Taken by:Notes: colour, (ps) and (pdf) , and monochrome, (ps) and (pdf). Model implementations of the languages.

11 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Advanced Topics in Programming Languages. 2009–10. Principal lecturer: Dr Peter Sewell. Taken by:2009 Computer Laboratory, University of Cambridge. Please send any comments on this page

25 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Network Architecture. 2009–10. Principal lecturer: Prof Jon Crowcroft. Additional lecturers:Taken by:Reading: papers. Assessment: student's talks. Coursework:2009 Computer Laboratory,

5 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Low Power Embedded Systems Programming. 2009–10. Principal lecturer: Dr Ian Wassell. Additional lecturer: Brian Jones. Taken by:Workbooks. Projects. Docs. Supporting Documentation. Code

22 Sep 2009: They warn that, "Economic development will not be sustained in the longer term unless the climate is stabilised" and say it is "critical" that "we exit this recession in a way ... In The Copenhagen Communiqué the business leaders argue that "the costs

22 Apr 2009: Nandan, who has been a key player in India's growth story, believes that the country's future rests on more than simply economic growth. ... Nandan Nilekani is on the World Economic Forum Foundation Board, was named one of the ‘100 Most Influential

19 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Types. 2009–10. Principal lecturer: Prof Andrew Pitts. Taken by:including slides) [black & white pdf]. Just the slides [colour pdf]. Additional material:. Naive implementations of the ML

26 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». An Algebraic Approach to Internet Routing. 2009–10. Principal lecturer: Dr Timothy G. Approach The course takes a high-level, top-down approach to the analysis and design of Internet

1 Sep 2009: hard economic times ahead within the public sector.’.

13 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Semantics of Programming Languages. 2009–10. Principal lecturer: Dr Sam Staton. Taken by:There are comments in the notes about the relevance of older questions.). Large print: colour and