Neil Ghani - RankMe

90 papers A* 7A 3B 17C 1Misc 1Journal 29Unranked 31

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