Real conversations. Worthwhile reads.中文

The formal semantics of programming languages

Explore The formal semantics of programming languages by Glynn Winskel: 7 Hacker News mentions from 7 participants in 2007-02-22–2026-11-01. Read original excerpts, compare opinions and save this book.

THE HACKERBOOKS LIBRARY
The formal semantics of programming languages
Glynn Winskel
Programming

The formal semantics of programming languages

7 mentions · 7 participants · 5 recommenders

Book edition

From the conversation

Latest 7 source records

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

Nnextos
Mention

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

Read on Hacker News
Ddevlovstad
Recommendation · source label

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

Read on Hacker News
Tthe_benno
Recommendation · source label

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

Read on Hacker News
Pp0llard
Recommendation · source label

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

Read on Hacker News
Ssriram_malhar
Mention

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

Read on Hacker News
Ppascal_cuoq
Recommendation · source label

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

Read on Hacker News
Ppeterfirefly
Recommendation · source label

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

Read on Hacker News