2007

Rapport Scientifique

• [NG07] K. Nakata, J. Garrigue. "Path resolution for recursive nested modules is undecidable", Date de dépot: 2007/01/01, (Tech. Rep.: CEDRIC-07-1202)