| Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem JN Foster, MB Greenwald, JT Moore, BC Pierce, A Schmitt ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (3), 17-es, 2007 | 725 | 2007 |
| Boomerang: resourceful lenses for string data A Bohannon, JN Foster, BC Pierce, A Pilkiewicz, A Schmitt Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008 | 233 | 2008 |
| Efficient static analysis of XML paths and types P Geneves, N Layaïda, A Schmitt Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 153 | 2007 |
| A trusted mechanised JavaScript specification M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ... ACM SIGPLAN Notices 49 (1), 87-100, 2014 | 146 | 2014 |
| The kell calculus: A family of higher-order distributed process calculi A Schmitt, JB Stefani Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy …, 2005 | 135 | 2005 |
| The M-calculus: A higher-order distributed process calculus A Schmitt, JB Stefani ACM SIGPLAN Notices 38 (1), 50-61, 2003 | 106 | 2003 |
| On the expressiveness and decidability of higher-order process calculi I Lanese, JA Pérez, D Sangiorgi, A Schmitt Information and Computation 209 (2), 198-226, 2011 | 92 | 2011 |
| Controlling reversibility in higher-order pi I Lanese, CA Mezzina, A Schmitt, JB Stefani CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011 | 89 | 2011 |
| JoCaml: A language for concurrent distributed and mobile programming C Fournet, F Le Fessant, L Maranget, A Schmitt Advanced Functional Programming: 4th International School, AFP 2002, Oxford …, 2003 | 86 | 2003 |
| An asynchronous, distributed implementation of mobile ambients C Fournet, JJ Lévy, A Schmitt Theoretical Computer Science: Exploring New Frontiers of Theoretical …, 2000 | 84 | 2000 |
| Exploiting schemas in data synchronization JN Foster, MB Greenwald, C Kirkegaard, BC Pierce, A Schmitt Journal of Computer and System Sciences 73 (4), 669-689, 2007 | 60 | 2007 |
| Concurrent flexible reversibility I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 57 | 2013 |
| The Xtatic experience V Gapeyev, MY Levin, BC Pierce, A Schmitt Technical Reports (CIS), 25, 2004 | 40 | 2004 |
| A language for bi-directional tree transformations MB Greenwald, JT Moore, BC Pierce, A Schmitt Pat 333, 4444, 2003 | 38 | 2003 |
| On the expressiveness of polyadic and synchronous communication in higher-order process calculi I Lanese, JA Pérez, D Sangiorgi, A Schmitt Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010 | 36 | 2010 |
| Bringing Harmony to optimism: A synchronization framework for heterogeneous tree-structured data BC Pierce, A Schmitt, MB Greenwald Technical Report MS-CIS-03-42, University of Pennsylvania, 2003 | 31 | 2003 |
| Skeletal semantics and their interpretations M Bodin, P Gardner, T Jensen, A Schmitt Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019 | 30 | 2019 |
| Query reasoning on trees with types, interleaving, and counting E Bárcenas, P Geneves, N Layaïda, A Schmitt IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011 | 29 | 2011 |
| Dream types: a domain specific type system for component-based message-oriented middleware P Bidinger, M Leclercq, V Quéma, A Schmitt, JB Stefani Proceedings of the 2005 conference on Specification and verification of …, 2005 | 28 | 2005 |
| XML Goes Native: Run-Time Representations for Xtatic V Gapeyev, MY Levin, BC Pierce, A Schmitt Compiler Construction: 14th International Conference, CC 2005, Held as Part …, 2005 | 28 | 2005 |
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
