Neil Ghani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
14
Active years
1996–2022
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ESOP | Categorical Foundations of Gradient-Based Learning. | Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi |
| 2020 | CPP | Three equivalent ordinal notation systems in cubical Agda. | Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani |
| 2018 | LICS | Compositional Game Theory. | Neil Ghani, Jules Hedges, Viktor Winschel, Philipp Zahn |
| 2017 | MFCS | Variations on Inductive-Recursive Definitions. | Neil Ghani, Conor McBride, Fredrik Nordvall Forsberg, Stephan Spahn |
| 2016 | FOSSACS | Dependent Types and Fibred Computational Effects. | Danel Ahman, Neil Ghani, Gordon D. Plotkin |
| 2016 | FOSSACS | Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. | Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson |
| 2015 | WoLLIC | Parametric Polymorphism - Universally. | Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo |
| 2014 | POPL | A relationally parametric model of dependent type theory. | Robert Atkey, Neil Ghani, Patricia Johann |
| 2013 | CALCO | Positive Inductive-Recursive Definitions. | Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg |
| 2013 | LICS | Fibred Data Types. | Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer |
| 2012 | FOSSACS | Fibrational Induction Meets Effects. | Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann |
| 2011 | CALCO | Indexed Induction and Coinduction, Fibrationally. | Clment Fumex, Neil Ghani, Patricia Johann |
| 2011 | FOSSACS | When Is a Type Refinement an Inductive Type? | Robert Atkey, Patricia Johann, Neil Ghani |
| 2010 | CSL | Fibrational Induction Rules for Initial Algebras. | Neil Ghani, Patricia Johann, Clment Fumex |
| 2008 | FLOPS | Proving Properties about Lists Using Containers. | Rawle C. S. Prince, Neil Ghani, Conor McBride |
| 2008 | POPL | Foundations for structured programming with GADTs. | Patricia Johann, Neil Ghani |
| 2007 | CALCO | Higher Dimensional Trees, Algebraically. | Neil Ghani, Alexander Kurz |
| 2005 | ICFP | Monadic augment and generalised short cut fusion. | Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene |
| 2004 | APLAS | Build, Augment and Destroy, Universally. | Neil Ghani, Tarmo Uustalu, Varmo Vene |
| 2004 | ICALP | Representing Nested Inductive Types Using W-Types. | Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani |
| 2004 | MPC | Constructing Polymorphic Programs with Quotient Types. | Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride |
| 2003 | FOSSACS | Categories of Containers. | Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani |
| 2003 | ICFP | Explicit substitutions and higher-order syntax. | Neil Ghani, Tarmo Uustalu |
| 2002 | ICFP | Composing monads using coproducts. | Christoph Lth, Neil Ghani |
| 1999 | FOSSACS | Categorical Models of Explicit Substitutions. | Neil Ghani, Valeria de Paiva, Eike Ritter |
| 1998 | ICALP | Explicit Substitutions for Constructive Necessity. | Neil Ghani, Valeria de Paiva, Eike Ritter |
| 1997 | ICALP | On Modular Properties of Higher Order Extensional Lambda Calculi. | Roberto Di Cosmo, Neil Ghani |
| 1996 | CSL | Eta-Expansions in F | Neil Ghani |