6. Functional syntax

@inproceedings{Takami20176FS,
  title={6. Functional syntax},
  author={Ken-ichi Takami and Susumu Kun and Masayoshi Shibatani and S. Miyagawa and Hisashi Noda},
  year={2017}
}