6 ms·
Type Theory for All: Bringing Programming Languages Research Outside Academia
- verdverm 6y agoThanks for posting this. I've recently become more interested in the subject via interest in Cue (https://cuelang.org https://cuelang.org).
loading thread…