Marc Thatcher

About    Papers    Talks    Teaching    Misc.    Contact   

Talks

  1. A Programming Language for Interaction Nets at Termgraph at ISCTE in Lisbon, Portugal (part of FLOC) 19th July 2026.
  2. Function-Constructor Nets and their Semantics DIALOCO, at ISCTE in Lisbon, Portugal (part of FLOC) 19th July 2026.
  3. The Problem of Observable Value in Interaction Nets Southern & Midlands Logic Seminar, at UCL, 24th June 2026.
  4. Computing with Infinite Interaction Nets CCC, at Kyoto, Japan (online), 29th May 2026.
  5. Productivity of Interaction Nets – Part 2 at University of Sussex, 19th November 2025.
  6. Productivity Analysis of Interaction Nets at University of Sussex, 7th May 2025.
  7. Parallel Functional Programming with Interaction Nets at 40th British Colloquium for Theoretical Computer Science, Bath, UK, 5th April 2024.
  8. Parallel Functional Programming with Interaction Nets at Fun in the REPL workshop, Bristol, UK, 1st November 2023.
  9. "Representing Interaction Nets with a Functional Language" at University of Sussex, 26th October 2023.
  10. A Functional Programming Language for Interaction Nets at GCM (The 14th International Workshop on Graph Computation Models), 18th July 2023. This was also recorded.