The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard S. Bird: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Richard S. Bird
    The Promotion and Accumulation Strategies in Transformational Programming. [Citation Graph (3, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1984, v:6, n:4, pp:487-504 [Journal]
  2. Richard S. Bird
    Tabulation Techniques for Recursive Programs. [Citation Graph (1, 0)][DBLP]
    ACM Comput. Surv., 1980, v:12, n:4, pp:403-417 [Journal]
  3. Richard S. Bird
    Two Dimensional Pattern Matching. [Citation Graph (1, 0)][DBLP]
    Inf. Process. Lett., 1977, v:6, n:5, pp:168-170 [Journal]
  4. Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
    Algebraic Methods for Optimization Problems. [Citation Graph (0, 0)][DBLP]
    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000, pp:281-308 [Conf]
  5. Richard S. Bird, Jeremy Gibbons
    Arithmetic Coding with Folds and Unfolds. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 2002, pp:1-26 [Conf]
  6. Shin-Cheng Mu, Richard S. Bird
    Functional Quantum Programming. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:75-88 [Conf]
  7. Shin-Cheng Mu, Richard S. Bird
    Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. [Citation Graph (0, 0)][DBLP]
    APLAS, 2003, pp:265-282 [Conf]
  8. Richard S. Bird
    Allegories as a Basis for Algorithmics. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:34-46 [Conf]
  9. Richard S. Bird
    Fifteen years of functional pearls. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:215- [Conf]
  10. Richard S. Bird, Oege de Moor
    From Dynamic Programming to Greedy Algorithms. [Citation Graph (0, 0)][DBLP]
    Formal Program Development, 1993, pp:43-61 [Conf]
  11. Shin-Cheng Mu, Richard S. Bird
    Inverting Functions as Folds. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:209-232 [Conf]
  12. Richard S. Bird
    Improving Saddleback Search: A Lesson in Algorithm Design. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:82-89 [Conf]
  13. Richard S. Bird
    Loopless Functional Algorithms. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:90-114 [Conf]
  14. Richard S. Bird
    Functional Algorithm Design. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:2-17 [Conf]
  15. Richard S. Bird, Oege de Moor
    Solving Optimisation Problems with Catamorphism. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:45-66 [Conf]
  16. Richard S. Bird, Lambert G. L. T. Meertens
    Nested Datatypes. [Citation Graph (0, 0)][DBLP]
    MPC, 1998, pp:52-67 [Conf]
  17. Richard S. Bird, Oege de Moor
    The algebra of programming. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:167-203 [Conf]
  18. Richard S. Bird
    Using Circular Programs to Eliminate Multiple Traversals of Data. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1984, v:21, n:, pp:239-250 [Journal]
  19. Richard S. Bird
    Notes on Recursion Elimination. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:6, pp:434-439 [Journal]
  20. Richard S. Bird
    Improving Programs by the Introduction of Recursion. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:11, pp:856-863 [Journal]
  21. Richard S. Bird
    Speeding up Programs. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1974, v:17, n:4, pp:337-339 [Journal]
  22. Richard S. Bird
    Recursion Elimination with Variable Parameters. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1979, v:22, n:2, pp:151-154 [Journal]
  23. Richard S. Bird
    Algebraic Identities for Program Calculation. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1989, v:32, n:2, pp:122-126 [Journal]
  24. Richard S. Bird
    Surveyor's Forum: A Recurring Bug. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1981, v:13, n:2, pp:243- [Journal]
  25. Richard S. Bird, Oege de Moor
    List Partitions. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1993, v:5, n:1, pp:61-78 [Journal]
  26. Richard S. Bird, Ross Paterson
    Generalised folds for nested datatypes. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:2, pp:200-222 [Journal]
  27. Richard S. Bird
    The Jogger's Problem. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1981, v:13, n:3, pp:114-117 [Journal]
  28. Richard S. Bird, John Hughes
    The alpha-beta Algorithm: An Exercise in Program Transformation. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:24, n:1, pp:53-57 [Journal]
  29. Richard S. Bird, Jesús N. Ravelo
    On Computing Representatives. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1997, v:63, n:1, pp:1-7 [Journal]
  30. Richard S. Bird, Stefan Sadnicki
    Minimal on-line labelling. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2007, v:101, n:1, pp:41-45 [Journal]
  31. Richard S. Bird
    On Transformations of Programs. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1974, v:8, n:1, pp:22-35 [Journal]
  32. Richard S. Bird, Shin-Cheng Mu
    Inverting the Burrows-Wheeler transform. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:6, pp:603-612 [Journal]
  33. Richard S. Bird, Geraint Jones, Oege de Moor
    More Haste, Less Speed: Lazy Versus Eager Evaluation. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:5, pp:541-547 [Journal]
  34. Richard S. Bird
    Unfolding pointer algorithms. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2001, v:11, n:3, pp:347-358 [Journal]
  35. Richard S. Bird
    Maximum marking problems. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2001, v:11, n:4, pp:411-424 [Journal]
  36. Richard S. Bird
    On tiling a chessboard. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:6, pp:613-622 [Journal]
  37. Richard S. Bird
    The Minout Problem. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1991, v:1, n:1, pp:121-124 [Journal]
  38. Richard S. Bird
    On Removing Duplicates. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1991, v:1, n:2, pp:235-243 [Journal]
  39. Richard S. Bird
    Two Greedy Algorithms. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1992, v:2, n:2, pp:237-244 [Journal]
  40. Richard S. Bird
    Unravelling Greedy Algorithms. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1992, v:2, n:3, pp:375-385 [Journal]
  41. Richard S. Bird
    Functional Pearls: The Last Tail. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1993, v:3, n:1, pp:117-122 [Journal]
  42. Richard S. Bird
    On Merging and Selection. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:3, pp:349-354 [Journal]
  43. Richard S. Bird
    On Building Trees with Minimum Height. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:4, pp:441-445 [Journal]
  44. Richard S. Bird
    Meertens Number. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1998, v:8, n:1, pp:83-88 [Journal]
  45. Richard S. Bird, Oege de Moor, Paul F. Hoogendijk
    Generic Functional Programming with Types and Relations. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:1, pp:1-28 [Journal]
  46. Richard S. Bird, Ross Paterson
    De Bruijn Notation as a Nested Datatype. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:1, pp:77-91 [Journal]
  47. Richard S. Bird, Shin-Cheng Mu
    Countdown: A case study in Origami programming. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:5, pp:679-702 [Journal]
  48. Jeremy Gibbons, David Lester, Richard S. Bird
    Functional Pearl: Enumerating the rationals. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:3, pp:281-291 [Journal]
  49. Richard S. Bird, Sharon A. Curtis
    Functional Pearls: Finding celebrities: A lesson in functional programming. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:1, pp:13-20 [Journal]
  50. Richard S. Bird
    Functional Pearl: A program to solve Sudoku. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:6, pp:671-679 [Journal]
  51. Richard S. Bird
    Transformational Programming and the Paragraph Problem. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1986, v:6, n:2, pp:159-189 [Journal]
  52. Richard S. Bird
    A Formal Development of an Efficient Subercombinator Compiler. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1987, v:8, n:2, pp:113-137 [Journal]
  53. Richard S. Bird
    The Smallest Upravel. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1992, v:18, n:3, pp:281-292 [Journal]
  54. Richard S. Bird
    Functional Algorithm Design. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:15-31 [Journal]
  55. Richard S. Bird, Jeremy Gibbons, Geraint Jones
    Formal Derivation of a Pattern Matching Algorithm. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1989, v:12, n:2, pp:93-104 [Journal]
  56. Shin-Cheng Mu, Richard S. Bird
    Theory and applications of inverting functions as folds. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:51, n:1-2, pp:87-116 [Journal]
  57. Richard S. Bird
    Addendum to ``The Promotion and Accumulation Strategies in Transformational Programming''. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1985, v:7, n:3, pp:490-492 [Journal]
  58. Richard S. Bird
    Polymorphic string matching. [Citation Graph (0, 0)][DBLP]
    Haskell, 2005, pp:110-115 [Conf]

  59. Spider Spinning for Dummies. [Citation Graph (, )][DBLP]


  60. Zippy Tabulations of Recursive Functions. [Citation Graph (, )][DBLP]


Search in 0.098secs, Finished in 0.101secs
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