5
Counterexamples in Type Systems
source link: https://counterexamples.org/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Counterexamples in Type Systems
Counterexamples in Type Systems
collated by Stephen Dolan, with thanks to Andrej Bauer, Leo White and Jeremy Yallop
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK