Neil Ghani

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 23

Top Topics

Precise Definition

Inductive Reasoning

Financial Crisis

Top Venues

Math. Struct. Comput. Sci.

Publications

Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi
Deep Learning with Parametric Lenses. CoRR (2024)
Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi
Categorical Foundations of Gradient-Based Learning. ESOP (2022)
Geoff S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi
Categorical Foundations of Gradient-Based Learning. CoRR (2021)
Matteo Capucci, Neil Ghani, Jérémy Ledent, Fredrik Nordvall Forsberg
Translating Extensive Form Games to Open Games with Agency. CoRR (2021)
Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani
Three equivalent ordinal notation systems in cubical Agda. CPP (2020)
Robert Atkey, Bruno Gavranovic, Neil Ghani, Clemens Kupke, Jérémy Ledent, Fredrik Nordvall Forsberg
Compositional Game Theory, Compositionally. ACT (2020)
Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
Universal properties for universal types in bifibrational parametricity. Math. Struct. Comput. Sci. 29 (6) (2019)
Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law. ACT (2019)
Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg
A compositional treatment of iterated open games. Theor. Comput. Sci. 741 (2018)
Neil Ghani, Jules Hedges, Viktor Winschel, Philipp Zahn
Compositional Game Theory. LICS (2018)
Neil Ghani, Conor McBride, Fredrik Nordvall Forsberg, Stephan Spahn
Variations on Inductive-Recursive Definitions. MFCS (2017)
Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg
A Compositional Treatment of Iterated Open Games. CoRR (2017)
Jerry Swan, Krzysztof Krawiec, Neil Ghani
Polytypic Genetic Programming. EvoApplications (2) (2017)
Neil Ghani, Peter G. Hancock
Containers, monads and induction recursion. Math. Struct. Comput. Sci. 26 (1) (2016)
Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. FoSSaCS (2016)
Danel Ahman, Neil Ghani, Gordon D. Plotkin
Dependent Types and Fibred Computational Effects. FoSSaCS (2016)
Neil Ghani, Jules Hedges
A compositional approach to economic game theory. CoRR (2016)
Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
Proof-Relevant Parametricity. A List of Successes That Can Change the World (2016)
Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg
Positive Inductive-Recursive Definitions. Log. Methods Comput. Sci. 11 (1) (2015)
Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
Parametric Polymorphism - Universally. WoLLIC (2015)
Neil Ghani, Patricia Johann, Fredrik Nordvall Forsberg, Federico Orsanigo, Tim Revell
Bifibrational Functorial Semantics of Parametric Polymorphism. MFPS (2015)
Thorsten Altenkirch, Neil Ghani, Peter G. Hancock, Conor McBride, Peter Morris
Indexed containers. J. Funct. Program. 25 (2015)
Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton
Models for Polymorphism over Physical Dimension. TLCA (2015)
Robert Atkey, Neil Ghani, Patricia Johann
A relationally parametric model of dependent type theory. POPL (2014)
Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg
Positive Inductive-Recursive Definitions. CALCO (2013)
Neil Ghani, Patricia Johann, Clément Fumex
Indexed Induction and Coinduction, Fibrationally. Log. Methods Comput. Sci. 9 (3) (2013)
Peter G. Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch
Small Induction Recursion. TLCA (2013)
Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer
Fibred Data Types. LICS (2013)
Robert Atkey, Patricia Johann, Neil Ghani
Refining Inductive Types Log. Methods Comput. Sci. 8 (2) (2012)
Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann
Fibrational Induction Meets Effects. FoSSaCS (2012)
Neil Ghani, Patricia Johann, Clément Fumex
Generic Fibrational Induction Log. Methods Comput. Sci. 8 (2) (2012)
Mauro Jaskelioff, Neil Ghani, Graham Hutton
Modularity and Implementation of Mathematical Operational Semantics. Electron. Notes Theor. Comput. Sci. 229 (5) (2011)
Robert Atkey, Patricia Johann, Neil Ghani
When Is a Type Refinement an Inductive Type? FoSSaCS (2011)
Clément Fumex, Neil Ghani, Patricia Johann
Indexed Induction and Coinduction, Fibrationally. CALCO (2011)
Neil Ghani, Patricia Johann, Clément Fumex
Fibrational Induction Rules for Initial Algebras. CSL (2010)
Peter Morris, Thorsten Altenkirch, Neil Ghani
A Universe of Strictly Positive Families. Int. J. Found. Comput. Sci. 20 (1) (2009)
Patricia Johann, Neil Ghani
A principled approach to programming with nested types in Haskell. High. Order Symb. Comput. 22 (2) (2009)
Neil Ghani, Peter G. Hancock, Dirk Pattinson
Representations of Stream Processors Using Nested Fixed Points Log. Methods Comput. Sci. 5 (3) (2009)
Neil Ghani, Peter G. Hancock, Dirk Pattinson
Continuous Functions on Final Coalgebras. MFPS (2009)
Rawle C. S. Prince, Neil Ghani, Conor McBride
Proving Properties about Lists Using Containers. FLOPS (2008)
Neil Ghani, Patricia Johann
Short Cut Fusion for Effects. Trends in Functional Programming (2008)
Patricia Johann, Neil Ghani
Foundations for structured programming with GADTs. POPL (2008)
Peter Morris, Thorsten Altenkirch, Neil Ghani
Constructing Strictly Positive Families. CATS (2007)
Patricia Johann, Neil Ghani
Initial Algebra Semantics Is Enough! TLCA (2007)
Neil Ghani, Patricia Johann
Monadic augment and generalised short cut fusion. J. Funct. Program. 17 (6) (2007)
Neil Ghani, Alexander Kurz
Higher Dimensional Trees, Algebraically. CALCO (2007)
Ronald Brown, Neil Ghani, Anne Heyworth, Christopher D. Wensley
String rewriting for double coset systems. J. Symb. Comput. 41 (5) (2006)
Neil Ghani, Peter G. Hancock, Dirk Pattinson
Continuous Functions on Final Coalgebras. CMCS (2006)
Neil Ghani, John Power
Preface. CMCS (2006)
Neil Ghani, Tarmo Uustalu, Makoto Hamana
Explicit substitutions and higher-order syntax. High. Order Symb. Comput. 19 (2-3) (2006)
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani
Containers: Constructing strictly positive types. Theor. Comput. Sci. 342 (1) (2005)
Michael Gordon Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani
for Data: Differentiating Data Structures. Fundam. Informaticae 65 (1-2) (2005)
Michael Gordon Abbott, Neil Ghani, Christoph Lüth
Abstract Modularity. RTA (2005)
Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene
Monadic augment and generalised short cut fusion. ICFP (2005)
Neil Ghani, Christoph Lüth, Federico De Marchi
Monads of coalgebras: rational terms and term graphs. Math. Struct. Comput. Sci. 15 (3) (2005)
Johan Glimming, Neil Ghani
Difunctorial Semantics of Object Calculus. Electron. Notes Theor. Comput. Sci. 138 (2) (2005)
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
Constructing Polymorphic Programs with Quotient Types. MPC (2004)
Neil Ghani, Tarmo Uustalu, Varmo Vene
Generalizing the AUGMENT combinator. Trends in Functional Programming (2004)
Neil Ghani, Tarmo Uustalu, Varmo Vene
Build, Augment and Destroy, Universally. APLAS (2004)
Neil Ghani, Tarmo Uustalu
Coproducts of Ideal Monads. RAIRO Theor. Informatics Appl. 38 (4) (2004)
Neil Ghani, Kidane Yemane, Björn Victor
Relationally Staged Computations in Calculi of Mobile Processes. CMCS (2004)
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani
Representing Nested Inductive Types Using W-Types. ICALP (2004)
Neil Ghani, Tarmo Uustalu
Coproducts of Ideal Monads (Extended Abstract). FICS (2003)
Neil Ghani, Tarmo Uustalu
Explicit substitutions and higher-order syntax. MERLIN (2003)
Federico De Marchi, Neil Ghani, Christoph Lüth
Solving Algebraic Equations Using Coalgebra. RAIRO Theor. Informatics Appl. 37 (4) (2003)
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
Derivatives of Containers. TLCA (2003)
Neil Ghani, Christoph Lüth
Rewriting Via Coinserters. Nord. J. Comput. 10 (4) (2003)
Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
Dualising Initial Algebras. Math. Struct. Comput. Sci. 13 (2) (2003)
Neil Ghani, Anne Heyworth
A Rewriting Alternative to Reidemeister-Schreier. RTA (2003)
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani
Categories of Containers. FoSSaCS (2003)
Neil Ghani, Anne Heyworth
Computing over K-modules. Electron. Notes Theor. Comput. Sci. 61 (2002)
Neil Ghani, Christoph Lüth, Federico De Marchi
Coalgebraic Monads. CMCS (2002)
Neil Ghani, Christoph Lüth, Federico De Marchi
Coalgebraic approaches to algebraic terms. FICS (2002)
Christoph Lüth, Neil Ghani
Composing monads using coproducts. ICFP (2002)
Christoph Lüth, Neil Ghani
Monads and Modularity. FroCoS (2002)
Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
Algebras, Coalgebras, Monads and Comonads. CMCS (2001)
Neil Ghani, Valeria de Paiva, Eike Ritter
Linear Explicit Substitutions. Log. J. IGPL 8 (1) (2000)
Neil Ghani, Valeria de Paiva, Eike Ritter
Categorical Models of Explicit Substitutions. FoSSaCS (1999)
Neil Ghani, Valeria de Paiva, Eike Ritter
Explicit Substitutions for Constructive Necessity. ICALP (1998)
Neil Ghani
Eta-Expansions in Dependent Type Theory - The Calculus of Constructions. TLCA (1997)
Christoph Lüth, Neil Ghani
Monads and Modular Term Rewriting. Category Theory and Computer Science (1997)
Roberto Di Cosmo, Neil Ghani
On Modular Properties of Higher Order Extensional Lambda Calculi. ICALP (1997)
Neil Ghani
. CSL (1996)
Neil Ghani
ßn-Equality for Coproducts. TLCA (1995)
C. Barry Jay, Neil Ghani
The Virtues of Eta-Expansion. J. Funct. Program. 5 (2) (1995)