Messing with the Future (or the Art of Continuations)

Add to your list(s) Download to your calendar using vCal

• Marco Devesas Campos (University of Cambridge)
• Friday 02 May 2014, 14:00-15:00
• LT2, Computer Laboratory, William Gates Building.

If you have a question about this talk, please contact Advait Sarkar.

Like—say—Concurrency, Continuations are a long standing, well researched topic of vast applications. They are used in compiler construction, distributed systems, and to give semantics to imperative control operators—and in many other situations.

However, much like Concurrency, Computer Scientists want nothing to do with them. Why? Simply put, Continuations encapsulate the future operation of a program—and by giving access to them, programs are free to do the most devilish of things if proper care is not taken.

This lecture will explore ways to tame this—proverbial—beast. We will first explain what Continuations are; how they can be used to implement different programming paradigms; and even how they enable us to write more efficient programs.

This talk is part of the Computer Laboratory Research Students' Lectures 2014 series.

This talk is included in these lists:

• Computer Laboratory Research Students' Lectures 2014
• LT2, Computer Laboratory, William Gates Building

Note that ex-directory lists are not shown.