jff's Bird:R [30 articles] Export

Recent papers posted to jff's library by the author Bird:R. You can also see everyone's Bird:R.

	Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion [My Copy] Programming Languages and Systems In Programming Languages and Systems, Vol. 2895 (2003), pp. 265-282. by Shin-Cheng Mu, Richard Bird posted to algorithm-derivation algorithms calculational calculational-bib construction haskell invariant inversion problem-solving by jff on 2009-06-22 14:40:50 as
	Deriving a systolic language recognizer [My Copy] In Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France (1997), pp. 49-72. by Matteo Vaccari, Roland Backhouse edited by Richard S. Bird, Lambert Meertens posted to rcb-bibfile by jff on 2008-05-07 12:57:49 as
	Conservative fixpoint functions on a graph [My Copy] In Mathematics of Program Construction. 2nd International Conference, June/July 1992, Vol. 669 (1993), pp. 80-100. by J. P. H. W. van den Eijnde edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock posted to rcb-bibfile by jff on 2008-05-07 12:57:34 as
	(Relational) Programming Laws in the Boom Hierarchy of Types [My Copy] In Mathematics of Program Construction. 2nd International Conference, June/July 1992, Vol. 669 (1993), pp. 163-190. by P. Hoogendijk edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock posted to rcb-bibfile by jff on 2008-05-07 12:57:32 as
	Enumerating the Rationals [My Copy] Journal of Functional Programming, Vol. 16, No. 3. (2006), pp. 281-291. by Jeremy Gibbons, David Lester, Richard Bird posted to rcb-bibfile by jff on 2008-05-07 12:57:32 as
	Introduction to Functional Programming [My Copy] (1988) by R. S. Bird, P. Wadler posted to rcb-bibfile by jff on 2008-05-07 12:57:25 as
	Calculating a path algorithm [My Copy] In Mathematics of Program Construction. 2nd International Conference, June/July 1992, Vol. 669 (1993), pp. 32-44. by Roland Backhouse, A. J. M. van Gasteren edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock posted to rcb-bibfile by jff on 2008-05-07 12:57:24 as
	Generalised folds for nested datatypes [My Copy] Formal Aspects of Computing (1999) by R. S. Bird, R. Paterson posted to rcb-bibfile by jff on 2008-05-07 12:57:24 as
	Two exercises found in a book on algorithmics [My Copy] In Program Specification and Transformations (1987), pp. 451-457. by R. S. Bird, L. Meertens edited by L. G. L. T. Meertens posted to rcb-bibfile by jff on 2008-05-07 12:57:24 as
	Lectures on Constructive Functional Programming [My Copy] In Constructive Methods in Computing Science (1989), pp. 151-216. by R. S. Bird edited by M. Broy posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	Constructive Functional Programming [My Copy] by R. S. Bird posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	On Enumerating Sets [My Copy] by R. S. Bird posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	A Calculus of Functions for Program Derivation [My Copy] (1988) by R. S. Bird posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	Formal Derivation of a Pattern Matching Algorithm [My Copy] (1988) by R. S. Bird, J. Gibbons, G. Jones posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	A Formal Development of an efficient Supercombinator Compiler [My Copy] Science of Computing Programming, No. 8. (1987), pp. 113-137. by R. S. Bird posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	An Introduction to the Theory of Lists [My Copy] In Logic of Programming and Calculi of Discrete Design (1987) by R. S. Bird edited by M. Broy posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	Transformational Programming and the Paragraph Problem [My Copy] Science of Computing Programming, Vol. 6 (1986), pp. 159-189. by R. S. Bird posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	The Promotion and Accumulation Strategies in Transformational Programming [My Copy] ACM. Transactions on Programming Languages and Systems, Vol. 6, No. 4. (1984), pp. 487-504. by R. S. Bird posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	Generic functional programming with types and relations [My Copy] J. of Functional Programming, Vol. 6, No. 1. (January 1996), pp. 1-28. by Richard Bird, Oege de Moor, Paul Hoogendijk posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	Algebra of Programming [My Copy] (1996) by Richard S. Bird, Oege de Moor posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	List Partitions [My Copy] Formal Aspects of Computing, Vol. 5, No. 1. (1993), pp. 61-78. by Richard S. Bird, Oege de Moor posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	Solving Optimisation Problems with Catamorphisms [My Copy] In 2nd International Conference on the Mathematics of Program Construction, Vol. 669 (June 1992), pp. 45-66. by Richard S. Bird, Oege de Moor edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	From dynamic programming to greedy algorithms [My Copy] In Formal Program Development. Proc. IFIP TC2/WG 2.1 State of the Art Seminar, Rio de Janeiro, Jan. 1992, Vol. 755 (1993), pp. 43-61. by Richard S. Bird, Oege de Moor edited by B. Möller, H. A. Partsch, S. A. Schuman posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as
	Calculating with Pointer Structures [My Copy] In Algorithmic Languages and Calculi (1997) by Bernhard Möller edited by Richard Bird, Lambert Meertens posted to rcb-bibfile by jff on 2008-05-07 12:57:15 as
	Algorithmic Languages and Calculi [My Copy] (1997) edited by Richard Bird, Lambert Meertens posted to rcb-bibfile by jff on 2008-05-07 12:57:14 as
	Algebra of Programming [My Copy] (1996) by Richard S. Bird, Oege de Moor posted to rcb-bibfile by jff on 2008-05-07 12:57:14 as
	Deriving a Systolic Regular Language Recognizer [My Copy] In Algorithmic Languages and Calculi (1997) by Matteo Vaccari, Roland Backhouse edited by Richard Bird, Lambert Meertens posted to rcb-bibfile by jff on 2008-05-07 12:57:12 as
	Designing Arithmetic Circuits by Refinement in Ruby [My Copy] In Mathematics of Program Construction. Second International Conference. Proceedings, No. 669. (1993) by Geraint Jones, Mary Sheeran edited by J. C. Woodcock, C. C. Morgan, R. S. Bird posted to rcb-bibfile by jff on 2008-05-07 12:57:11 as
	A Calculus of Functions for Program Derivation [My Copy] In Research Topics in Functional Programming (1988) by Richard S. Bird edited by D. A. Turner posted to rcb-bibfile by jff on 2008-05-07 12:57:10 as
	Enumerating the Rationals [My Copy] (2006) by Jeremy Gibbons, David Lester, Richard Bird posted to haskell general-bib algorithms by jff on 2007-02-01 13:56:56 as along with 1 person and 4 groups dsquared Crypto GraphTheory Foundations-of-Programming TMC

Note: You may cite this page as: http://www.citeulike.org/user/jff/author/Bird:R

ewd-bib	1262
rcb-bibfile	855
math-bib	28
calculational	16
jff-bib	15
number-theory	14
algorithms	13
calculational-bib	11
problem-solving	10
general-bib	9
mathematical-methodology	8
algorithm-derivation	6
construction	6
rcb-bib	5
invariant	5
stern-brocot	5
book	4
correctness	4
inversion	4
chessboard	3
brocot	3
ordinals	3
calkin-wilf	3
haskell	3
computability	3
mathis	3
knuth-bib	2
history	2
logic	2
cacm	2
mathematics	2
trominoes	2
euclidean-algorithm	2
proof	2
tiling	2
feedback	1
ai-natural-language-understanding-historical-context-semantics	1
wing	1
fixed-point	1
code	1
epigram	1
latex-computer-file	1
education	1
turing	1
moessner	1
afm-bib	1
quantifiers	1
computerized-typesetting	1
inequivalence	1
games	1
fm	1
greatest-common-divisor	1
continuants	1
golomb	1
puzzled	1
generating-functions	1
urm	1
formal	1
parallel-computing	1
java	1
computational-thinking	1
exclusive-or	1
solitaire	1
rational-number	1
unplugged	1
eisenstein	1
puzzle	1
taocp	1
gauss	1
enumeration	1
bruijn	1
cs	1
boute	1
predicates	1
polyominoes	1

jff's Bird:R [30 articles] Export

jff's tags