From post

The future of teaching programming is on mobile devices

, , , , , , и . Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education, стр. 156--161. New York, NY, USA, ACM, (2012)
DOI: 10.1145/2325296.2325336

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.

 

Другие публикации лиц с тем же именем

The future of teaching programming is on mobile devices, , , , , , и . Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education, стр. 156--161. New York, NY, USA, ACM, (2012)Cloud Types for Eventual Consistency., , , и . ECOOP, том 7313 из Lecture Notes in Computer Science, стр. 283-307. Springer, (2012)Static Verification for Code Contracts.. SAS, том 6337 из Lecture Notes in Computer Science, стр. 2-5. Springer, (2010)A Toolkit for Constructing Type- and Constraint-Based Program Analyses., , , и . Types in Compilation, том 1473 из Lecture Notes in Computer Science, стр. 78-96. Springer, (1998)It's alive! continuous feedback in UI programming., , , , , , и . PLDI, стр. 95-104. ACM, (2013)Type-base flow analysis: from polymorphic subtyping to CFL-reachability., и . POPL, стр. 54-66. ACM, (2001)ACM SIGPLAN Notices 36(3), March 2001.Establishing object invariants with delayed types., и . OOPSLA, стр. 337-350. ACM, (2007)Deconstructing process isolation., , , , и . Memory System Performance and Correctness, стр. 1-10. ACM, (2006)Typestates for Objects., и . ECOOP, том 3086 из Lecture Notes in Computer Science, стр. 465-490. Springer, (2004)Dynamic Typing and Subtype Inference., и . FPCA, стр. 182-191. ACM, (1995)