BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Wheeler Lecture 2023: Beyond functional programming: a taste of Ve
 rse - Professor Simon Peyton Jones - Honorary Distinguished Fellow of the 
 Department of Computer Science and Technology\, University of Cambridge
DTSTART:20231115T150000Z
DTEND:20231115T160000Z
UID:TALK204505@talks.cam.ac.uk
CONTACT:Ben Karniely
DESCRIPTION:'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 lik
 e to join us: https://www.eventbrite.co.uk/e/the-2023-wheeler-lecture-beyo
 nd-functional-programming-a-taste-of-verse-tickets-694741599827\n\nThe lec
 ture will be given by Simon Peyton Jones (https://simon.peytonjones.org/)\
 , Engineering Fellow at Epic Games\, a Fellow of the Royal Society\, and H
 onorary Distinguished Fellow of the Cambridge Department of Computer Scien
 ce and Technology. Simon is also chair of Computing at School.\n\nAbstract
 : "Verse is a new programming language\, being designed at Epic Games as t
 he language of the metaverse. Verse is a functional logic language\, with 
 a bunch of innovative ideas. Like Haskell\, Verse is declarative (a variab
 le in Verse stands for just one\, immutable value)\, and higher order (lam
 bdas are first class). But Verse goes well beyond Haskell\, with existenti
 al variables\, unification\, expressions that yield multiple values\, and 
 much more besides. In this talk I'll give you a sense of what functional l
 ogic programming is about\, what it looks like to program in Verse\, and h
 ow we can give meaning to Verse programs using rewrite rules."\n\nLink to 
 join virtually: https://cam-ac-uk.zoom.us/j/81322468305\n\nA recording of 
 this talk is available at the following link: https://www.youtube.com/watc
 h?v=xNaaP8BKr7Y\n
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR