Roly Perera. First-Order Interactive Programming. In Manuel Carro, Ricardo Peña, editors, Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings. Volume 5937 of Lecture Notes in Computer Science, pages 186-200, Springer, 2010. [doi]