💾 Archived View for dcreager.net › combinatory-logic captured on 2024-03-21 at 15:41:18. Gemini links have been rewritten to link to archived content

More Information

⬅️ Previous capture (2023-07-22)

🚧 View Differences

-=-=-=-=-=-=-

Combinatory logic

Links

[Bimbó2020] Combinatory logic

[Wolfram] Combinators: A centennial view

Lecture notes from Stanford CS 242:

Papers

[Hindley1969] The Principal Type-Scheme of an Object in Combinatory Logic

[Ghilezan2022] Semantics for Combinatory Logic With Intersection Types

[Gateley2005] Call-by-value combinatory logic and the lambda-value calculus

[Turner1979] A new implementation technique for applicative languages