Learning Functional Programming こちらもおすすめ

Concepts and Semantics of Programming Languages 1 Concepts and Semantics of Programming Languages 1
Concepts and Semantics of Programming Languages 1
2021年
Verified Functional Programming in Agda Verified Functional Programming in Agda
Verified Functional Programming in Agda
2016年
Computer Science: Questions and Answers Computer Science: Questions and Answers
Computer Science: Questions and Answers
2017年
Array Theory and the Design of Nial Array Theory and the Design of Nial
Array Theory and the Design of Nial
2013年
Logic And Declarative Language Logic And Declarative Language
Logic And Declarative Language
2004年
Programming Distributed Computing Systems Programming Distributed Computing Systems
Programming Distributed Computing Systems
2013年
Structures and C Structures and C
Structures and C
2016年