In this talk, we describe how embedded domain-specific languages with flexible and varied semantics can be composed out of smaller constituent parts using algebraic effects and handlers.

Speaker

Nicholas Wu, Imperial College London

Agenda

3.30-4.00pm - Networking for attendees (coffee/tea biscuits)
4.00-5.00pm - FACS AGM
5.15-6.00pm - Networking for physical/online attendees (tea/coffee/biscuits)
6.00-7.00pm - The Next 700 Domain Specific Languages
7.00-7.15pm - Questions
7.15-8.30pm - Networking for physical attendees (light refreshments)

AGM

The FACS 2022 AGM will be a hybrid event at the BCS London office and on Zoom 4PM start of AGM.

Agenda:

  1. Apologies (Jonathan Bowen)
  2. Minutes of the previous AGM (Roger Carsley/Jonathan Bowen)
  3. Chairman's Report (Jonathan Bowen)
  4. Liaison Reports – LMS/FME/NPL/Refinement Workshop (Andrei Popescu/Ana Calvalcanti/Keith Lines/Brijesh Dongol)
  5. Inclusion Report (Margaret West)
  6. Statement of Accounts (John Cooke)
  7. Election of Officers and Committee Members (Jonathan Bowen)
  8. Future events (Jonathan Bowen et al.)
  9. FACS FACTS newsletter (Tim Denvir/Brian Monahan)
  10. Any other business

Synopsis

A domain specific problem is usually best solved with a domain specific language that was crafted with the peculiarities of the problem in mind, but the difficulty is that building a new standalone language is a large and difficult task. This effort can be vastly reduced by embedding a domain-specific language into an existing host language and reusing much of its infrastructure, such as the parser, type system, compiler, and runtime system.

In this talk, we describe how embedded domain-specific languages with flexible and varied semantics can be composed out of smaller constituent parts using algebraic effects and handlers. This technique has been used by GitHub as part of their Semantic framework to allow the analysis of every push to repositories hosting code in multiple languages, without having to reimplement each analysis for each language.

About the speaker

Nicolas Wu is a Reader in Computer Science at Imperial College London where he leads the Functional Programming Group. His research interests are centred around programming languages, where he has made advances in applications of category theory for giving the semantics of programs and algorithms. His main contributions have been exploring the connections between domain specific languages, algebraic effect handlers, and structured recursion schemes.

Our events are for adults aged 16 years and over.

BCS is a membership organisation. If you enjoy this event, please consider joining BCS. You’ll be very welcome. You’ll receive access to many exclusive career development tools, an introduction to a thriving professional community and also help us make IT good for society. Join BCS today

For overseas delegates who wish to attend the event, please note that BCS does not issue invitation letters.

COVID-19
BCS is following government guidelines and we would ask attendees to continue to also follow these guidelines. Please go to https://www.nhs.uk/conditions/coronavirus-covid-19/ for more information, advice, and instructions.

This event is brought to you by: BCS FACS SG - Formal Aspects of Computing

Annual Peter Landin Semantics Seminar and FACS AGM
Date and time
Tuesday 6 December, 4:00pm - 8:00pm
Location
BCS, The Chartered Institute for IT
25 Copthall Avenue
London
EC2R 7BP
Price
Free