💾 Archived View for dcreager.net › combinatory-logic captured on 2024-12-17 at 09:20:54. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2024-03-21)
-=-=-=-=-=-=-
[Wolfram] Combinators: A centennial view
Lecture notes from Stanford CS 242:
[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