REFERENCES.md

參考資料

λ-calculus

• A Tutorial Introduction to the Lambda Calculus 清晰好懂，還附作業的 lambda calculus 入門
• AN INTRODUCTION TO FUNCTIONAL PROGRAMMING THROUGH LAMBDA CALCULUS 從 lambda calculus 認識 functional programming
• Implementing Untyped λ-Calculus in Haskell 原來 @godfat 做過了
• De Bruijn index @op8867555 推薦的 De Bruijn index 可以解決 做 beta reduction 時名稱衝突的問題
• A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines 一個有用到 de Bruijn index 實作 call by need evaluation 的方法

Haskell

• How to desugar Haskell code

• Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell SPJ 講 IO