Real conversations. Worthwhile reads.中文

An introduction to functional programming through Lambda calculus

Explore An introduction to functional programming through Lambda calculus by Greg Michaelson: 19 Hacker News mentions from 15 participants in 2007-02-22–2026-11-01. Read original excerpts, compare opinions and save this book.

THE HACKERBOOKS LIBRARY
An introduction to functional programming through Lambda calculus
Greg Michaelson
Programming

An introduction to functional programming through Lambda calculus

19 mentions · 15 participants · 14 recommenders

Book edition

From the conversation

Latest 19 source records

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

Mmkw5053
Recommendation · source label

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

Read on Hacker News
Ssmcl
Recommendation · source label

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

Read on Hacker News
Rrramadass
Recommendation · source label

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

Read on Hacker News
Aarisbe__
Recommendation · source label

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

Read on Hacker News
Jjumanjisama
Recommendation · source label

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

Read on Hacker News
Ee19293001
Recommendation · source label

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

Read on Hacker News
Wwestoncb
Recommendation · source label

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

Read on Hacker News
Ee19293001
Recommendation · source label

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

Read on Hacker News
Vvoidhorse
Recommendation · source label

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

Read on Hacker News
Wwangchow
Recommendation · source label

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

Read on Hacker News
Rronald_raygun
Recommendation · source label

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

Read on Hacker News
Ee19293001
Recommendation · source label

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

Read on Hacker News
Ee19293001
Recommendation · source label

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

Read on Hacker News
Eeric_bullington
Recommendation · source label

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

Read on Hacker News
Ee19293001
Recommendation · source label

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

Read on Hacker News
Rritchiea
Mention

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

Read on Hacker News
Wwaffle_ss
Recommendation · source label

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

Read on Hacker News
Ssabalaba
Recommendation · source label

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

Read on Hacker News
Ggnosis
Recommendation · source label

A much more thorough, free book along similar lines is: "An Introduction to Functional Programming Through Lambda Calculus" http://www.macs.hw.ac.uk/~greg/books/gjm.lambook88.ps There's also this: "Introduction to Lambda Calculus" by Henk Barendregt , Erik Barendsen http://citeseer.ist.psu.edu/barendregt94introduction.html

Read on Hacker News