Learning from Examples with Typed Equational Programming

Ishino and Yamamoto. "Learning from Examples with Typed Equational Programming." International Conference on Algorithmic Learning Theory, 1994. doi:10.1007/3-540-58520-6_73

[Ishino and Yamamoto. "Learning from Examples with Typed Equational Programming." International Conference on Algorithmic Learning Theory, 1994.](https://mlanthology.org/alt/1994/ishino1994alt-learning/) doi:10.1007/3-540-58520-6_73

@inproceedings{ishino1994alt-learning,
  title     = {{Learning from Examples with Typed Equational Programming}},
  author    = {Ishino, Akira and Yamamoto, Akihiro},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {1994},
  pages     = {301-316},
  doi       = {10.1007/3-540-58520-6_73},
  url       = {https://mlanthology.org/alt/1994/ishino1994alt-learning/}
}