Implicit phasing for R6RS libraries. - Abdulaziz Ghuloum; R. Kent Dybvig (ICFP, 2007)

Improving the lazy Krivine machine. - Daniel P. Friedman; Abdulaziz Ghuloum; Jeremy G. Siek; Onnie Lynn Winebarger (High. Order Symb. Comput., 2007)