University Jacques Garrigue Graduate School / Keiko Nakata Research Institute / /
IndustryTerm
a lot of useful inference algorithms / expansion algorithms / large software systems / Module systems / labeled transition systems / large software system / type systems / /
Organization
Graduate School / Nagoya University / Institute for Mathematical Sciences / Kyoto University / /
Path resolution for recursive modules Keiko Nakata Research Institute for Mathematical Sciences, Kyoto University Jacques Garrigue Graduate School of Mathematics, Nagoya University Abstract