MECHANIsation of Session Types (MECHANIST)
This repo/site is the official site of the MECHANIST project. Here, you will find code and articles produced by the project.
People involved:
- Marco Carbone (PI)
- Jesper Bengtson (co-PI)
- Dawit Tirore (PhD student)