Follow
Neil Ghani
Neil Ghani
Unknown affiliation
No verified email
Title
Cited by
Cited by
Year
Containers: Constructing strictly positive types
M Abbott, T Altenkirch, N Ghani
Theoretical Computer Science 342 (1), 3-27, 2005
2682005
Categories of containers
M Abbott, T Altenkirch, N Ghani
Foundations of Software Science and Computation Structures: 6th …, 2003
1962003
The virtues of eta-expansion
CB Jay, N Ghani
Journal of functional programming 5 (2), 135-154, 1995
1371995
Compositional game theory
N Ghani, J Hedges, V Winschel, P Zahn
Proceedings of the 33rd annual ACM/IEEE symposium on logic in computer …, 2018
1132018
Foundations for structured programming with GADTs
P Johann, N Ghani
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008
932008
Indexed containers
T Altenkirch, N Ghani, P Hancock, C McBride, P Morris
Journal of Functional Programming 25, e5, 2015
802015
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
802014
Composing monads using coproducts
C Lüth, N Ghani
ACM SIGPLAN Notices 37 (9), 133-144, 2002
802002
Categorical foundations of gradient-based learning
GSH Cruttwell, B Gavranović, N Ghani, P Wilson, F Zanasi
European Symposium on Programming, 1-28, 2022
722022
Representations of stream processors using nested fixed points
N Ghani, P Hancock, D Pattinson
Logical methods in computer science 5, 2009
662009
βη-equality for coproducts
N Ghani
International Conference on Typed Lambda Calculi and Applications, 171-185, 1995
651995
Initial algebra semantics is enough!
P Johann, N Ghani
Typed Lambda Calculi and Applications: 8th International Conference, TLCA …, 2007
582007
∂ for data: Differentiating data structures
M Abbott, T Altenkirch, C McBride, N Ghani
Fundamenta informaticae 65 (1-2), 1-28, 2005
562005
Derivatives of containers
M Abbott, T Altenkirch, N Ghani, C McBride
Typed Lambda Calculi and Applications: 6th International Conference, TLCA …, 2003
562003
Adjoint rewriting
N Ghani
University of Edinburgh. College of Science and Engineering. School of …, 1995
551995
Constructing polymorphic programs with quotient types
M Abbott, T Altenkirch, N Ghani, C McBride
Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004
482004
Monads and modular term rewriting
C Lüth, N Ghani
International Conference on Category Theory and Computer Science, 69-86, 1997
411997
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
372006
Coproducts of ideal monads
N Ghani, T Uustalu
RAIRO-Theoretical Informatics and Applications 38 (4), 321-342, 2004
372004
Dependent types and fibred computational effects
D Ahman, N Ghani, GD Plotkin
International Conference on Foundations of Software Science and Computation …, 2016
362016
The system can't perform the operation now. Try again later.
Articles 1–20