Sungwoo Park Pohang University of Science / Institute of Cybernetics / Recursive Modules Hyeonseung Im Keiko Nakata Jacques Garrigue Pohang University of Science / Tallinn University of Technology / Nagoya University / /
IndustryTerm
type systems / simpler solution / large-scale software development / functor applications / /
NaturalFeature
Forest Mutually Recursive Modules / /
Organization
Graduate School / Institute of Cybernetics / Nagoya University / Pohang University of Science and Technology / Tallinn University of Technology / /