Author of the publication

MOOCs on and off the Farm: MOOCs and technology to advance learning and learning research (Ubiquity symposium).

. Ubiquity, 2014 (June): 1:1-1:10 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Parametricity and Variants of Girard's J Operator., and . Inf. Process. Lett., 70 (1): 1-5 (1999)The Development of Type Systems for Object-Oriented Languages., and . Theory Pract. Object Syst., 1 (3): 189-220 (1995)Remote Learning and Work., and . IEEE Internet Comput., 28 (1): 7-9 (2024)Reclaiming the Blogosphere, TalkBack: A Secure LinkBack Protocol for Weblogs., , and . ESORICS, volume 6879 of Lecture Notes in Computer Science, page 133-149. Springer, (2011)Inductive Proofs of Computational Secrecy., , , and . ESORICS, volume 4734 of Lecture Notes in Computer Science, page 219-234. Springer, (2007)On the Type Structure of Standard ML., and . ACM Trans. Program. Lang. Syst., 15 (2): 211-252 (1993)preliminary version: POPL 1988: 28-46.The analysis of programming structure., and . SIGACT News, 28 (2): 24-31 (1997)A Layered Architecture for Detecting Malicious Behaviors., , , , and . RAID, volume 5230 of Lecture Notes in Computer Science, page 78-97. Springer, (2008)Representation Independence and Data Abstraction.. POPL, page 263-276. ACM Press, (1986)Toward a Typed Foundation for Method Specialization and Inheritance.. POPL, page 109-124. ACM Press, (1990)