Computer Science

In part 3 of the Advanced Functional Programming lecture series, Dr. Lämmel focuses on the domain of language interpretation as a method of understanding some important functional programming techniques. As a side effect, some basics of programming language theory are also…

Welcome to another series of C9 Lectures covering functional programming. For this series, Dr. Ralf Lämmel has generously taken the time to produce videos for Channel 9 from his office at the University of Koblenz-Landau (Germany), where he is a professor of computer science. The idea…

In mathematics, computer science, and related subjects, an 'algorithm' is an effective method for solving a problem expressed as a finite sequence of instructions. Algorithms are used for calculation, data processing, and many other fields. (In more advanced or abstract settings, the instructions do…

In this latest edition of Expert to Expert (and Going Deep), the great Brian Beckman, astrophysicist and software architect, is joined by Greg Meredith, a mathematician and computer scientist. It's just bound to be an intellectual jam session!The idea for the format of this…

You first learned about Rx on C9. We've led you through the basic concepts of reactive programming to the deep mathematical foundation behind Rx (interface duality). By now, you should understand that IObservable is the dual of IEnumerable. Today, you will learn some new…

A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable. -Leslie Lamport. Leslie Lamport is a computer scientist and mathematician best known for his work with distributed systems. In fact, Dr. Lamport’s research…

Dr. Maria Klawe joined the board of directors of Microsoft in 2009. She is a distinguished computer scientist, scholar and president of Harvey Mudd College. If that's not enough, she's also an accomplished artist. We had to catch up with Maria for WM_IN to learn about her…

A group of us gathered after a long day of language sessions at ELC 2010 and a conversation just happened. Sure, we talked about doing this before the camera started rolling, but I pressed record only when the time was right—when EROS creator and BitC designer Jonathan Shapiro asked…

Over thousands of years, language has evolved in order to provide mankind a mechanism for making it easier to communicate with one another. Today, the world is filled with a wide variety of languages, some of which are radically different from one another, while others bear striking…

Jaron Lanier is an extraordinary individual. He is the father of virtual reality, a forceful pundit for "software humanism," an accomplished musician, a philosopher, and a Microsoft Partner Architect working on cloud computing problems in the Extreme Computing group. For three…