Research

Luc Moreau is an internationally­recognised computer scientist, who began his career with a strong interest in software technology. He initially focused on the semantics of programming constructs (such as first-class continuations and dynamic binding), which are frequently exploited by programmers in large program development, but relatively poorly understood in the context of functional languages. Using formalisms such as the lambda calculus and abstract machines, he proposed final solutions to long­standing open problems such as the semantics of dynamic binding and control operators in the presence of concurrency [Dynamic], [Future]. These solutions are critical in the understanding of non­functional features of programming languages. Such constructs, or variants of them, are being used in modern languages such as Scala and clojure.