- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j26 |      | Robert Atkey, Patricia Johann, Neil Ghani: Refining Inductive Types. Logical Methods in Computer Science 8(2) (2012) |
| j25 | | Neil Ghani, Patricia Johann, Clément Fumex: Generic Fibrational Induction. Logical Methods in Computer Science 8(2) (2012) |
| c29 | | Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann: Fibrational Induction Meets Effects. FoSSaCS 2012: 42-57 |
| 2011 | ||
| j24 | | Mauro Jaskelioff, Neil Ghani, Graham Hutton: Modularity and Implementation of Mathematical Operational Semantics. Electr. Notes Theor. Comput. Sci. 229(5): 75-95 (2011) |
| c28 | | Clément Fumex, Neil Ghani, Patricia Johann: Indexed Induction and Coinduction, Fibrationally. CALCO 2011: 176-191 |
| c27 | | Robert Atkey, Patricia Johann, Neil Ghani: When Is a Type Refinement an Inductive Type? FOSSACS 2011: 72-87 |
| 2010 | ||
| c26 | | Neil Ghani, Patricia Johann, Clément Fumex: Fibrational Induction Rules for Initial Algebras. CSL 2010: 336-350 |
| 2009 | ||
| j23 | | Neil Ghani, Peter Hancock, Dirk Pattinson: Representations of Stream Processors Using Nested Fixed Points. Logical Methods in Computer Science 5(3) (2009) |
| j22 | | Neil Ghani, Peter Hancock, Dirk Pattinson: Continuous Functions on Final Coalgebras. Electr. Notes Theor. Comput. Sci. 249: 3-18 (2009) |
| j21 | | Peter Morris, Thorsten Altenkirch, Neil Ghani: A Universe of Strictly Positive Families. Int. J. Found. Comput. Sci. 20(1): 83-107 (2009) |
| j20 | | Patricia Johann, Neil Ghani: A principled approach to programming with nested types in Haskell. Higher-Order and Symbolic Computation 22(2): 155-189 (2009) |
| 2008 | ||
| c25 | | Rawle Prince, Neil Ghani, Conor McBride: Proving Properties about Lists Using Containers. FLOPS 2008: 97-112 |
| c24 | | |
| 2007 | ||
| j19 | | Neil Ghani, Patricia Johann: Monadic augment and generalised short cut fusion. J. Funct. Program. 17(6): 731-776 (2007) |
| c23 | | |
| c22 | | Peter Morris, Thorsten Altenkirch, Neil Ghani: Constructing Strictly Positive Families. CATS 2007: 111-121 |
| c21 | | |
| 2006 | ||
| j18 | | |
| j17 | | Neil Ghani, Peter Hancock, Dirk Pattinson: Continuous Functions on Final Coalgebras. Electr. Notes Theor. Comput. Sci. 164(1): 141-155 (2006) |
| j16 | | Ronald Brown, Neil Ghani, Anne Heyworth, Christopher D. Wensley: String rewriting for double coset systems. J. Symb. Comput. 41(5): 573-590 (2006) |
| j15 | | Neil Ghani, Tarmo Uustalu, Makoto Hamana: Explicit substitutions and higher-order syntax. Higher-Order and Symbolic Computation 19(2-3): 263-282 (2006) |
| 2005 | ||
| j14 | | Johan Glimming, Neil Ghani: Difunctorial Semantics of Object Calculus. Electr. Notes Theor. Comput. Sci. 138(2): 79-94 (2005) |
| j13 | | Michael Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani: for Data: Differentiating Data Structures. Fundam. Inform. 65(1-2): 1-28 (2005) |
| j12 | | Neil Ghani, Christoph Lüth, Federico De Marchi: Monads of coalgebras: rational terms and term graphs. Mathematical Structures in Computer Science 15(3): 433-451 (2005) |
| j11 | | Michael Abbott, Thorsten Altenkirch, Neil Ghani: Containers: Constructing strictly positive types. Theor. Comput. Sci. 342(1): 3-27 (2005) |
| c20 | | Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene: Monadic augment and generalised short cut fusion. ICFP 2005: 294-305 |
| c19 | | |
| 2004 | ||
| j10 | | Neil Ghani, Kidane Yemane, Björn Victor: Relationally Staged Computations in Calculi of Mobile Processes. Electr. Notes Theor. Comput. Sci. 106: 105-120 (2004) |
| j9 | | |
| c18 | | |
| c17 | | Michael Abbott, Thorsten Altenkirch, Neil Ghani: Representing Nested Inductive Types Using W-Types. ICALP 2004: 59-71 |
| c16 | | Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride: Constructing Polymorphic Programs with Quotient Types. MPC 2004: 2-15 |
| c15 |  | Neil Ghani, Tarmo Uustalu, Varmo Vene: Generalizing the AUGMENT combinator. Trends in Functional Programming 2004: 65-78 |
| 2003 | ||
| j8 | | Federico De Marchi, Neil Ghani, Christoph Lüth: Solving Algebraic Equations Using Coalgebra. ITA 37(4): 301-314 (2003) |
| j7 | | Neil Ghani, Christoph Lüth, Federico De Marchi, John Power: Dualising Initial Algebras. Mathematical Structures in Computer Science 13(2): 349-370 (2003) |
| j6 | | |
| c14 | | |
| c13 | | |
| c12 | | |
| c11 | | Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride: Derivatives of Containers. TLCA 2003: 16-30 |
| 2002 | ||
| j5 | | Neil Ghani, Anne Heyworth: Computing over K-modules. Electr. Notes Theor. Comput. Sci. 61: 34-50 (2002) |
| j4 | | Neil Ghani, Christoph Lüth, Federico De Marchi: Coalgebraic Monads. Electr. Notes Theor. Comput. Sci. 65(1): 71-91 (2002) |
| c10 | | Neil Ghani, Christoph Lüth, Federico De Marchi: Coalgebraic approaches to algebraic terms. FICS 2002: 6-8 |
| c9 | | |
| c8 | | |
| 2001 | ||
| j3 | | Neil Ghani, Christoph Lüth, Federico De Marchi, John Power: Algebras, Coalgebras, Monads and Comonads. Electr. Notes Theor. Comput. Sci. 44(1): 128-145 (2001) |
| 2000 | ||
| j2 | | Neil Ghani, Valeria de Paiva, Eike Ritter: Linear Explicit Substitutions. Logic Journal of the IGPL 8(1): 7-31 (2000) |
| 1999 | ||
| c7 | | Neil Ghani, Valeria de Paiva, Eike Ritter: Categorical Models of Explicit Substitutions. FoSSaCS 1999: 197-211 |
| 1998 | ||
| c6 | | Neil Ghani, Valeria de Paiva, Eike Ritter: Explicit Substitutions for Constructive Necessity. ICALP 1998: 743-754 |
| 1997 | ||
| c5 | | Christoph Lüth, Neil Ghani: Monads and Modular Term Rewriting. Category Theory and Computer Science 1997: 69-86 |
| c4 | | Roberto Di Cosmo, Neil Ghani: On Modular Properties of Higher Order Extensional Lambda Calculi. ICALP 1997: 237-247 |
| c3 | | Neil Ghani: Eta-Expansions in Dependent Type Theory - The Calculus of Constructions. TLCA 1997: 164-180 |
| 1996 | ||
| c2 | | |
| 1995 | ||
| j1 | | |
| c1 | | |
Colors in the list of coauthors
Last update Fri May 24 11:11:26 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page