Wheeler Lecture 2023: Beyond functional programming: a taste of Verse

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

• Professor Simon Peyton Jones - Honorary Distinguished Fellow of the Department of Computer Science and Technology, University of Cambridge
• Wednesday 15 November 2023, 15:00-16:00
• Lecture Theatre 1, Computer Laboratory.

If you have a question about this talk, please contact Ben Karniely.

‘Beyond functional programming: a taste of Verse’ is the title of this year’s Wheeler Lecture. It takes place on Wednesday 15 November, starting at 3 pm, followed by refreshments. Please register if you’d like to join us: https://www.eventbrite.co.uk/e/the-2023-wheeler-lecture-beyond-functional-programming-a-taste-of-verse-tickets-694741599827

The lecture will be given by Simon Peyton Jones (https://simon.peytonjones.org/), Engineering Fellow at Epic Games, a Fellow of the Royal Society, and Honorary Distinguished Fellow of the Cambridge Department of Computer Science and Technology. Simon is also chair of Computing at School.

Abstract: “Verse is a new programming language, being designed at Epic Games as the language of the metaverse. Verse is a functional logic language, with a bunch of innovative ideas. Like Haskell, Verse is declarative (a variable in Verse stands for just one, immutable value), and higher order (lambdas are first class). But Verse goes well beyond Haskell, with existential variables, unification, expressions that yield multiple values, and much more besides. In this talk I’ll give you a sense of what functional logic programming is about, what it looks like to program in Verse, and how we can give meaning to Verse programs using rewrite rules.”

Link to join virtually: https://cam-ac-uk.zoom.us/j/81322468305

A recording of this talk is available at the following link: https://www.youtube.com/watch?v=xNaaP8BKr7Y

This talk is part of the The Wheeler Lectures in Computer Science series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Chris Davis' list
• Department of Computer Science and Technology talks and seminars
• Graduate-Seminars
• Guy Emerson's list
• Interested Talks
• Lecture Theatre 1, Computer Laboratory
• School of Technology
• Trust & Technology Initiative - interesting events
• Wednesday Seminars - Department of Computer Science and Technology
• bld31
• computer science
• se393's list

Note that ex-directory lists are not shown.