Garrigue, Jacques; Nakata, Keiko Path resolution for nested recursive modules. (English) Zbl 1256.68032 High.-Order Symb. Comput. 24, No. 3, 207-237 (2011). MSC: 68N18 68N30 PDFBibTeX XMLCite \textit{J. Garrigue} and \textit{K. Nakata}, High.-Order Symb. Comput. 24, No. 3, 207--237 (2011; Zbl 1256.68032) Full Text: DOI
Nakata, Keiko; Hasegawa, Masahito Small-step and big-step semantics for call-by-need. (English) Zbl 1184.68164 J. Funct. Program. 19, No. 6, 699-722 (2009). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{K. Nakata} and \textit{M. Hasegawa}, J. Funct. Program. 19, No. 6, 699--722 (2009; Zbl 1184.68164) Full Text: DOI