[NG07] Path resolution for recursive nested modules is undecidable

Rapport Scientifique : Date de dépot: 2007/01/01, (Tech. Rep.: CEDRIC-07-1202)

Auteurs: K. Nakata , J. Garrigue

motcle:

Download

BibTeX

@techreport {
	NG07,
	title	=	"{Path resolution for recursive nested modules is undecidable}",
	author	=	"K. Nakata and J. Garrigue",
	number	=	"{CEDRIC-07-1202}",
	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
	date	=	{01-01-2007},
}