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

(msp.cis.strath.ac.uk)

4 points | by matt_d 14 hours ago ago

1 comments