资源列表
《A tutorial implementation of a dependently typed Lambda Calculus》
- 《A tutorial implementation of a dependently typed Lambda Calculus》
《Algorithm Design with Haskell》
- 《Algorithm Design with Haskell》
《A History of Haskell》
- 《A History of Haskell》
《A retrospective on Haskell》
- 《A retrospective on Haskell》
《Accuracy and Stability of Numerical Algorithms》
- 《Accuracy and Stability of Numerical Algorithms》
《An Introduction to Functional Programming through Lambda Calculus》
- 《An Introduction to Functional Programming through Lambda Calculus》
《An introduction towards Type Theories》
- 《An introduction towards Type Theories》
《Begining Haskell》
- 《Begining Haskell》
《C# 程序设计基础》
- 《C# 程序设计基础》
《Computational Semantics with Functional Programming》
- 《Computational Semantics with Functional Programming》
《Faking it - Simulating dependent types in Haskell》
- 《Faking it - Simulating dependent types in Haskell》
《Get Programming with Haskell》
- 《Get Programming with Haskell》