A module system with applicative functors and recursive path references
By: by Keiko Nakata.
Series: RIMS -- 1583
Publisher: Research Institute for Mathematical Sciences, Kyoto University
Published: 2007
Place of publication: Kyoto, Japan
Language: eng
Number of pages: 151
Notes: Cover title.