Toot
Written by Guillaume Munch-Maccagnoni on 2024-09-06 at 09:40
The story of linear type systems #icfp2024
=> View attached media
=> More informations about this toot | View the thread | More toots from gadmm@mathstodon.xyz
Mentions
Tags
=> View icfp2024 tag
Proxy Information
- Original URL
- gemini://mastogem.picasoft.net/toot/113089945126173932
- Status Code
- Success (20)
- Meta
text/gemini- Capsule Response Time
- 223.400335 milliseconds
- Gemini-to-HTML Time
- 0.345245 milliseconds
This content has been proxied by September (3851b).