Marc Thatcher

About    Papers    Talks    Teaching    Misc.    Contact   

Talks

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