Real conversations. Worthwhile reads.中文

Types and Programming Languages

Explore Types and Programming Languages by Benjamin C. Pierce: 321 Hacker News mentions from 226 participants in 2007-02-22–2026-11-01. Read original excerpts, compare opinions and save this book.

THE HACKERBOOKS LIBRARY
Types and Programming Languages
Benjamin C. Pierce
Programming

Types and Programming Languages

321 mentions · 226 participants · 132 recommenders

Book edition

From the conversation

Latest 20 source records

A mention is not an endorsement. Labels are automatically classified by the source. Follow the original discussion to verify the context.

Aantonvs
Recommendation · source label

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Kkserrec
Recommendation · source label

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Tthe_unproven
Mention

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Kkccqzy
Recommendation · source label

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
DDonaldPShimoda
Mention

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
DDonaldPShimoda
Mention

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Dduped
Recommendation · source label

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Sskydhash
Recommendation · source label

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Nnoelwelsh
Mention

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Jjonlong
Mention

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Qquchen
Mention

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Llo_zamoyski
Critical · source label

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
44ad
Recommendation · source label

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Kks2048
Recommendation · source label

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Cchubot
Critical · source label

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Mmananaysiempre
Mention

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Sshadowfox
Recommendation · source label

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Cchubot
Mention

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Aasplake
Recommendation · source label

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
VVerdex
Recommendation · source label

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News