K. Watkins, I. Cervesato, F. Pfenning, and D. Walker. Revised selected papers from the Third International Workshop on Types for Proofs and Programs, April 2003, Torino, page 355-377. Springer, (2004)
M. Källkvist, S. Gomez, H. Andersson, and D. Lush. The Internet and Higher Education, 12 (1):
35-44(January 2009)The purpose of this study was to create and evaluate personalised virtual learning spaces (PVLSs) in a course that was previously delivered face-to-face only. The study addressed three related questions: (1) Can a PVLS successfully be introduced into a....
A. Schein, A. Popescul, L. Ungar, and D. Pennock. Proceedings of the 25th annual international ACM SIGIR conference
on Research and development in information retrieval, (253--260)