| Foundations for structured programming with GADTs P Johann, N Ghani Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008 | 94 | 2008 |
| A relationally parametric model of dependent type theory R Atkey, N Ghani, P Johann Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 81 | 2014 |
| Free theorems in the presence of seq P Johann, J Voigtländer Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2004 | 72 | 2004 |
| A generic operational metatheory for algebraic effects P Johann, A Simpson, J Voigtländer 2010 25th Annual IEEE Symposium on Logic in Computer Science, 209-218, 2010 | 70 | 2010 |
| Initial algebra semantics is enough! P Johann, N Ghani Typed Lambda Calculi and Applications: 8th International Conference, TLCA …, 2007 | 60 | 2007 |
| Deduction systems R Socher-Ambrosius, P Johann Springer Science & Business Media, 2012 | 50 | 2012 |
| A generalization of short-cut fusion and its correctness proof P Johann Higher-order and symbolic computation 15, 273-300, 2002 | 48 | 2002 |
| The impact of seq on free theorems-based program transformations P Johann, J Voigtländer Fundamenta Informaticae 69 (1-2), 63-102, 2006 | 45 | 2006 |
| Warm fusion in Stratego: A case study in generation of program transformation systems P Johann, E Visser Annals of Mathematics and Artificial Intelligence 29, 1-34, 2000 | 43 | 2000 |
| An improved general E-unification method DJ Dougherty, P Johann Journal of symbolic computation 14 (4), 303-320, 1992 | 40 | 1992 |
| Indexed induction and coinduction, fibrationally N Ghani, P Johann, C Fumex Logical Methods in Computer Science 9, 2013 | 39* | 2013 |
| Short cut fusion is correct P Johann Journal of Functional Programming 13 (4), 797-814, 2003 | 29 | 2003 |
| Short cut fusion: Proved and improved P Johann International Workshop on Semantics, Applications, and Implementation of …, 2001 | 29 | 2001 |
| Generic fibrational induction N Ghani, P Johann, C Fumex Logical Methods in Computer Science 8, 2012 | 27 | 2012 |
| Fibrational induction rules for initial algebras N Ghani, P Johann, C Fumex International Workshop on Computer Science Logic, 336-350, 2010 | 27 | 2010 |
| Staged notational definitions W Taha, P Johann Generative Programming and Component Engineering: Second International …, 2003 | 26 | 2003 |
| Short cut fusion of recursive programs with computational effects N Ghani, P Johann Symposium on Trends in Functional Programming (TFP 2008), 2008 | 25 | 2008 |
| Bifibrational functorial semantics of parametric polymorphism N Ghani, P Johann, FN Forsberg, F Orsanigo, T Revell Electronic Notes in Theoretical Computer Science 319, 165-181, 2015 | 24 | 2015 |
| A combinatory logic approach to higher-order E-unification DJ Dougherty, P Johann International Conference on Automated Deduction, 79-93, 1992 | 23 | 1992 |
| Higher-kinded data types: Syntax and semantics P Johann, A Polonsky 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019 | 22 | 2019 |
