| Containers: Constructing strictly positive types M Abbott, T Altenkirch, N Ghani Theoretical Computer Science 342 (1), 3-27, 2005 | 264 | 2005 |
| Categories of containers M Abbott, T Altenkirch, N Ghani Foundations of Software Science and Computation Structures: 6th …, 2003 | 186 | 2003 |
| The virtues of eta-expansion CB Jay, N Ghani Journal of functional programming 5 (2), 135-154, 1995 | 138 | 1995 |
| Compositional game theory N Ghani, J Hedges, V Winschel, P Zahn Proceedings of the 33rd annual ACM/IEEE symposium on logic in computer …, 2018 | 106 | 2018 |
| 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 |
| Indexed containers T Altenkirch, N Ghani, P Hancock, C McBride, P Morris Journal of Functional Programming 25, e5, 2015 | 77 | 2015 |
| Composing monads using coproducts C Lüth, N Ghani ACM SIGPLAN Notices 37 (9), 133-144, 2002 | 77 | 2002 |
| Categorical foundations of gradient-based learning GSH Cruttwell, B Gavranović, N Ghani, P Wilson, F Zanasi European Symposium on Programming, 1-28, 2022 | 64 | 2022 |
| Representations of stream processors using nested fixed points N Ghani, P Hancock, D Pattinson Logical methods in computer science 5, 2009 | 64 | 2009 |
| βη-equality for coproducts N Ghani International Conference on Typed Lambda Calculi and Applications, 171-185, 1995 | 64 | 1995 |
| βη-equality for coproducts N Ghani International Conference on Typed Lambda Calculi and Applications, 171-185, 1995 | 64 | 1995 |
| βη-equality for coproducts N Ghani International Conference on Typed Lambda Calculi and Applications, 171-185, 1995 | 64 | 1995 |
| Initial algebra semantics is enough! P Johann, N Ghani Typed Lambda Calculi and Applications: 8th International Conference, TLCA …, 2007 | 56 | 2007 |
| Derivatives of containers M Abbott, T Altenkirch, N Ghani, C McBride Typed Lambda Calculi and Applications: 6th International Conference, TLCA …, 2003 | 54 | 2003 |
| Adjoint rewriting N Ghani University of Edinburgh. College of Science and Engineering. School of …, 1995 | 54 | 1995 |
| ∂ for data: Differentiating data structures M Abbott, T Altenkirch, C McBride, N Ghani Fundamenta informaticae 65 (1-2), 1-28, 2005 | 53 | 2005 |
| Constructing polymorphic programs with quotient types M Abbott, T Altenkirch, N Ghani, C McBride Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004 | 46 | 2004 |
| Monads and modular term rewriting C Lüth, N Ghani International Conference on Category Theory and Computer Science, 69-86, 1997 | 42 | 1997 |
| Representing cyclic structures as nested datatypes N Ghani, M Hamana, T Uustalu, V Vene Proc. of 7th Symp. on Trends in Functional Programming, TFP 2006, 2006 | 37 | 2006 |
