The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Neil Ghani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Neil Ghani, Tarmo Uustalu, Varmo Vene
    Build, Augment and Destroy, Universally. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:327-347 [Conf]
  2. Neil Ghani
    Eta-Expansions in Fomega. [Citation Graph (0, 0)][DBLP]
    CSL, 1996, pp:182-197 [Conf]
  3. Christoph Lüth, Neil Ghani
    Monads and Modular Term Rewriting. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:69-86 [Conf]
  4. Neil Ghani, Christoph Lüth, Federico De Marchi
    Coalgebraic approaches to algebraic terms. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:6-8 [Conf]
  5. Michael Abbott, Thorsten Altenkirch, Neil Ghani
    Categories of Containers. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:23-38 [Conf]
  6. Neil Ghani, Valeria de Paiva, Eike Ritter
    Categorical Models of Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:197-211 [Conf]
  7. Christoph Lüth, Neil Ghani
    Monads and Modularity. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:18-32 [Conf]
  8. Michael Abbott, Thorsten Altenkirch, Neil Ghani
    Representing Nested Inductive Types Using W-Types. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:59-71 [Conf]
  9. Roberto Di Cosmo, Neil Ghani
    On Modular Properties of Higher Order Extensional Lambda Calculi. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:237-247 [Conf]
  10. Neil Ghani, Valeria de Paiva, Eike Ritter
    Explicit Substitutions for Constructive Necessity. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:743-754 [Conf]
  11. Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene
    Monadic augment and generalised short cut fusion. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:294-305 [Conf]
  12. Neil Ghani, Tarmo Uustalu
    Explicit substitutions and higher-order syntax. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  13. Christoph Lüth, Neil Ghani
    Composing monads using coproducts. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:133-144 [Conf]
  14. Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
    Constructing Polymorphic Programs with Quotient Types. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:2-15 [Conf]
  15. Michael Abbott, Neil Ghani, Christoph Lüth
    Abstract Modularity. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:46-60 [Conf]
  16. Neil Ghani, Anne Heyworth
    A Rewriting Alternative to Reidemeister-Schreier. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:452-466 [Conf]
  17. Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
    Derivatives of Containers. [Citation Graph (0, 0)][DBLP]
    TLCA, 2003, pp:16-30 [Conf]
  18. Neil Ghani
    ßn-Equality for Coproducts. [Citation Graph (0, 0)][DBLP]
    TLCA, 1995, pp:171-185 [Conf]
  19. Neil Ghani
    Eta-Expansions in Dependent Type Theory - The Calculus of Constructions. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:164-180 [Conf]
  20. Neil Ghani, Anne Heyworth
    Computing over K-modules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:61, n:, pp:- [Journal]
  21. Neil Ghani, Christoph Lüth, Federico De Marchi
    Coalgebraic Monads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
  22. Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
    Algebras, Coalgebras, Monads and Comonads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
  23. Neil Ghani, Kidane Yemane, Björn Victor
    Relationally Staged Computations in Calculi of Mobile Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:105-120 [Journal]
  24. Johan Glimming, Neil Ghani
    Difunctorial Semantics of Object Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:2, pp:79-94 [Journal]
  25. Neil Ghani, John Power
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:1, pp:1-2 [Journal]
  26. Neil Ghani, Peter Hancock, Dirk Pattinson
    Continuous Functions on Final Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:1, pp:141-155 [Journal]
  27. Michael Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani
    for Data: Differentiating Data Structures. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:65, n:1-2, pp:1-28 [Journal]
  28. Neil Ghani, Valeria de Paiva, Eike Ritter
    Linear Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:1, pp:- [Journal]
  29. Federico De Marchi, Neil Ghani, Christoph Lüth
    Solving Algebraic Equations Using Coalgebra. [Citation Graph (0, 0)][DBLP]
    ITA, 2003, v:37, n:4, pp:301-314 [Journal]
  30. C. Barry Jay, Neil Ghani
    The Virtues of Eta-Expansion. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1995, v:5, n:2, pp:135-154 [Journal]
  31. Ronald Brown, Neil Ghani, Anne Heyworth, Christopher D. Wensley
    String rewriting for double coset systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:5, pp:573-590 [Journal]
  32. Neil Ghani, Tarmo Uustalu, Makoto Hamana
    Explicit substitutions and higher-order syntax. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:263-282 [Journal]
  33. Neil Ghani, Christoph Lüth, Federico De Marchi
    Monads of coalgebras: rational terms and term graphs. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:3, pp:433-451 [Journal]
  34. Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
    Dualising Initial Algebras. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2003, v:13, n:2, pp:349-370 [Journal]
  35. Neil Ghani, Christoph Lüth
    Rewriting Via Coinserters. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2003, v:10, n:4, pp:290-312 [Journal]
  36. Michael Abbott, Thorsten Altenkirch, Neil Ghani
    Containers: Constructing strictly positive types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:1, pp:3-27 [Journal]
  37. Neil Ghani, Alexander Kurz
    Higher Dimensional Trees, Algebraically. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:226-241 [Conf]
  38. Neil Ghani, Tarmo Uustalu, Varmo Vene
    Generalizing the AUGMENT combinator. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2004, pp:65-78 [Conf]
  39. Patricia Johann, Neil Ghani
    Initial Algebra Semantics Is Enough! [Citation Graph (0, 0)][DBLP]
    TLCA, 2007, pp:207-222 [Conf]

  40. Constructing Strictly Positive Families. [Citation Graph (, )][DBLP]


  41. Fibrational Induction Rules for Initial Algebras. [Citation Graph (, )][DBLP]


  42. Proving Properties about Lists Using Containers. [Citation Graph (, )][DBLP]


  43. Foundations for structured programming with GADTs. [Citation Graph (, )][DBLP]


  44. Representations of Stream Processors Using Nested Fixed Points [Citation Graph (, )][DBLP]


  45. Continuous Functions on Final Coalgebras. [Citation Graph (, )][DBLP]


Search in 0.448secs, Finished in 0.450secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002