参考文献

  1. Egi, Satoshi and Nishiwaki, Yuichi. Non-linear Pattern Matching with Backtracking for Non-free Data Types. Asian Symposium on Programming Languages and Systems. 2018
  2. Satoshi Egi. Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures. The Scheme and Functional Programming Workshop. 2018
  3. Harrison, John. Handbook of Practical Logic and Automated Reasoning. 2009
  4. Spivey, J Michael. Algebras for combinatorial search. Journal of Functional Programming. 2009
  5. egison/backtracking: Backtracking monad in Haskell. 2020
  6. egison/typed-egison. 2019
  7. akawashiro/formalized-egison. 2019
  8. egison/sweet-egison: Haskell library for non-deterministic pattern matching. 2020
  9. Satoshi Egi. Pattern-Match-Oriented Proof Writing Language. Conference Companion of the 4th International Conference on Art, Science, and Engineering of Programming. 2020
この本を別の言語で読む: English, 日本語