document.write("«&nbsp;<a href='/news/view?id=59989'>Type Systems as Macros</a>");document.write(" | ");document.write("<a href='/news/view?id=59991'>WebL – A Programming Language for the Web (1997) [pdf]</a>&nbsp;»");