Basic simple type theory
Explore Basic simple type theory by J. Roger Hindley: 2 Hacker News mentions from 2 participants in 2007-02-22–2026-11-01. Read original excerpts, compare opinions and save this book.
Share on XTHE HACKERBOOKS LIBRARY
Basic simple type theory
From the conversation
Latest 2 source recordsA mention is not an endorsement. Labels are automatically classified by the source. Follow the original discussion to verify the context.
Ttombert
Recommendation · source labelThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsBBellsOnSunday
Recommendation · source labelThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker News