TYPES 2025: The 31st International Conference on Types for Proofs and Programs

(msp.cis.strath.ac.uk)

4 points | by matt_d 17 hours ago ago

1 comments

  • 17 hours ago
    [deleted]