Weaving a web - PWL London
Details
Corneliu Hoffman (https://github.com/corneliuhoffman) presents the paper:
"Weaving a web" (functional Pearls)
by RALF HINZE and JOHAN JEURING (2001, downloadable from https://www.cambridge.org/core/journals/journal-of-functional-programming/article/weaving-a-web/CD429AE301A49C755941BD867E133766)
Abstract
[...] In a previous pearl, Huet (1997) introduced a simple data structure, the Zipper, that addresses this problem – we will explain the Zipper briefly in section 2. A drawback of the Zipper is that the type of cursor locations depends on the structure of the term type, i.e. each term type gives rise to a different type of location (unless you are working in an untyped environment) In this pearl, we present an alternative data structure, the web, that serves the same purpose, but that is parametric in the underlying term type [...]
The Speaker
Corneliu (https://github.com/corneliuhoffman) is a mathematician turned software engineer currently working for Aikido Security. Until a few years ago he worked in academia teaching and doing research in Group Theory. Aside from Group Theory he is interested in logic, Theorem Proving and Type Theory especially as they relate to education.
Location:
Riverside Building, 6th Floor,
County Hall/The, Belvedere Rd,
London SE1 7PB
https://maps.app.goo.gl/n98TD9TnkJj687ii6
Checkin instructions:
- Please make sure your Meetup account has your first+last name on record for reception.
- Enter the door of the building and head to the left for the elevators hall.
- Press 6 to enqueue your request for the 6th floor and look at the assigned elevator letter.
- Turn left at the floor and proceed to the Cloudflare desk for registration
The nearest tube/train station is Waterloo. The schedule:
• 6.15pm: welcome and chitchat
• 6:30pm: presentation starts
• 8:00pm: presentation end
Meetup are captured on video and uploaded on the PWL London Youtube channel https://www.youtube.com/channel/UCEYe-1uDIkjPtuH_qhoybnA