Containers: Constructing strictly positive types M Abbott, T Altenkirch, N Ghani Theoretical Computer Science 342 (1), 3-27, 2005 | 268 | 2005 |

Categories of containers M Abbott, T Altenkirch, N Ghani Foundations of Software Science and Computation Structures: 6th …, 2003 | 196 | 2003 |

The virtues of eta-expansion CB Jay, N Ghani Journal of functional programming 5 (2), 135-154, 1995 | 137 | 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 | 113 | 2018 |

Foundations for structured programming with GADTs P Johann, N Ghani Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008 | 93 | 2008 |

Indexed containers T Altenkirch, N Ghani, P Hancock, C McBride, P Morris Journal of Functional Programming 25, e5, 2015 | 80 | 2015 |

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 | 80 | 2014 |

Composing monads using coproducts C Lüth, N Ghani ACM SIGPLAN Notices 37 (9), 133-144, 2002 | 80 | 2002 |

Categorical foundations of gradient-based learning GSH Cruttwell, B Gavranović, N Ghani, P Wilson, F Zanasi European Symposium on Programming, 1-28, 2022 | 72 | 2022 |

Representations of stream processors using nested fixed points N Ghani, P Hancock, D Pattinson Logical methods in computer science 5, 2009 | 66 | 2009 |

βη-equality for coproducts N Ghani International Conference on Typed Lambda Calculi and Applications, 171-185, 1995 | 65 | 1995 |

Initial algebra semantics is enough! P Johann, N Ghani Typed Lambda Calculi and Applications: 8th International Conference, TLCA …, 2007 | 58 | 2007 |

∂ for data: Differentiating data structures M Abbott, T Altenkirch, C McBride, N Ghani Fundamenta informaticae 65 (1-2), 1-28, 2005 | 56 | 2005 |

Derivatives of containers M Abbott, T Altenkirch, N Ghani, C McBride Typed Lambda Calculi and Applications: 6th International Conference, TLCA …, 2003 | 56 | 2003 |

Adjoint rewriting N Ghani University of Edinburgh. College of Science and Engineering. School of …, 1995 | 55 | 1995 |

Constructing polymorphic programs with quotient types M Abbott, T Altenkirch, N Ghani, C McBride Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004 | 48 | 2004 |

Monads and modular term rewriting C Lüth, N Ghani International Conference on Category Theory and Computer Science, 69-86, 1997 | 41 | 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 |

Coproducts of ideal monads N Ghani, T Uustalu RAIRO-Theoretical Informatics and Applications 38 (4), 321-342, 2004 | 37 | 2004 |

Dependent types and fibred computational effects D Ahman, N Ghani, GD Plotkin International Conference on Foundations of Software Science and Computation …, 2016 | 36 | 2016 |