STAF 2023
Tue 18 - Fri 21 July 2023 Leicester, United Kingdom
Tue 18 Jul 2023 15:30 - 15:37 at Willow - GCM Session 3 Chair(s): Jens Kosiol

Interaction nets are a type of graph rewrite system. Introduced initially as the basis for a new programming paradigm, they have attractive properties, including automatic memory management, direct manipulation of data structures, natural parallelism and opportunities for a visual programming style. However, their main contributions have been investigating computation models, most notably in the optimal reduction of lambda-calculus expressions. Interaction net programming languages have been worked on for over 30 years but remain low-level. We are working on a new approach, using functional programming techniques, to create a high-level language that is isomorphic to interaction nets and their rules.

Tue 18 Jul

Displayed time zone: London change

15:30 - 17:00
GCM Session 3GCM at Willow
Chair(s): Jens Kosiol Universität Kassel

Remote Participants: Zoom Link, YouTube Livestream

15:30
7m
Talk
A high-level functional programming language for interaction nets
GCM
P: Marc Thatcher University of Sussex
15:38
7m
Talk
Finite Automata for Efficient Graph Recognition
GCM
Frank Drewes Umeå universitet, Berthold Hoffmann Universität Bremen, P: Mark Minas Universität der Bundeswehr München
15:45
7m
Talk
Towards Efficient Boltzmann Sampling with Graph Generative Models and Constraints
GCM
P: Justin Diamond University of Basel, Markus Lill University of Basel
15:53
7m
Talk
Random Graph Generation in Context-Free Graph Languages
GCM
P: Federico Vastarini University of York, Detlef Plump University of York
16:00
60m
Other
Open Discussion
GCM