| Subtext: uncovering the simplicity of programming J Edwards Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005 | 107 | 2005 |
| Example centric programming J Edwards ACM Sigplan Notices 39 (12), 84-91, 2004 | 92 | 2004 |
| Coherent reaction J Edwards Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009 | 76 | 2009 |
| A type system for object models J Edwards, D Jackson, E Torlak ACM SIGSOFT Software Engineering Notes 29 (6), 189-199, 2004 | 66 | 2004 |
| Programming with managed time S McDirmid, J Edwards Proceedings of the 2014 ACM International Symposium on New Ideas, New …, 2014 | 16 | 2014 |
| Faster constraint solving with subtypes J Edwards, D Jackson, E Torlak, V Yeung ACM SIGSOFT Software Engineering Notes 29 (4), 232-242, 2004 | 16 | 2004 |
| No ifs, ands, or buts: Uncovering the simplicity of conditionals J Edwards Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007 | 15 | 2007 |
| Technical Dimensions of Programming Systems J Jakubovic, J Edwards, T Petricek arXiv preprint arXiv:2302.10003, 2023 | 9 | 2023 |
| Live end-user programming J Edwards, J Chen, A Warth LIVE Workshop, 2016 | 7 | 2016 |
| First Class Copy & Paste J Edwards | 6 | 2006 |
| Subtypes for constraint decomposition J Edwards, D Jackson, E Torlak, V Yeung International Symposium on Software Testing and Analysis, 2004 | 6 | 2004 |
| Typed Image-based Programming with Structure Editing J Edwards, T Petricek arXiv preprint arXiv:2110.08993, 2021 | 2 | 2021 |
| Interaction vs. Abstraction: Managed Copy and Paste J Edwards, T Petricek Proceedings of the 1st ACM SIGPLAN International Workshop on Programming …, 2022 | 1 | 2022 |
| FPW'14: future programming workshop J Edwards, RP Gabriel, A Payne Proceedings of the companion publication of the 2014 ACM SIGPLAN conference …, 2014 | | 2014 |
| Simple Subtypes for Specification J Edwards, D Jackson, E Torlak | | |
| SPLASH and Onward! Workshop Chairs’ Welcome J Gray, J Edwards | | |
Emina TorlakAmazon Web Services, University of Washington在 alum.mit.edu 的电子邮件经过验证
