Articles related to Polytypic Programming

• Richard Bird: [Bir87,BdMH96,BM98] [BM97, Chap. 3]

• Lambert Meertens: [Mee92,Mee96]

• Roland Backhouse: [Bac88,BdBH91]

• Johan Jeuring: [Jeu95]

• Patrik Jansson: Rewriting [Jan00, Chap. 6], Data conversion [Jan00, Chap. 7]

• Ralf Hinze: [Hin00a,Hin00b,HJ00]

• Erik Meijer: [MFP91,MJ95]

• Eugenio Moggi: [MBJ99]

• Tim Sheard: [SF93]

• Paul Hoogendijk: (heavy) [HdM00,HB97]

• Jeremy Gibbons: (light) [GJ98]

• Adaptive Object Oriented Programming: [LSLX94,PXL95,Lie96]

Bibliography

Bac88

R.C. Backhouse.
An exploration of the Bird-Meertens formalism.
Technical Report Computing Science Notes CS 8810, Department of Mathematics and Computing Science, University of Groningen, 1988.

BdBH91

R.C. Backhouse, P.J. de Bruin, P. Hoogendijk, G. Malcolm, T.S. Voermans, and J.C.S.P. van der Woude.
Relational catamorphisms.
In B. Möller, editor, Constructing Programs from Specifications, pages 287-318. North-Holland, 1991.

BdMH96

Richard Bird, Oege de Moor, and Paul Hoogendijk.
Generic functional programming with types and relations.
Journal of Functional Programming, 6(1):1-28, 1996.

Bir87

R.S. Bird.
An introduction to the theory of lists.
In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume F36 of NATO ASI Series, pages 5-42. Springer-Verlag, 1987.

BM97

R.S. Bird and O. de Moor.
Algebra of Programming.
Prentice-Hall International, 1997.

BM98

Richard Bird and Lambert Meertens.
Nested datatypes.
In J. Jeuring, editor, Mathematics of Program Construction, volume 1422 of LNCS, pages 52-67. Springer-Verlag, 1998.

GJ98

Jeremy Gibbons and Geraint Jones.
The under-appreciated unfold.
In International Conference on Functional Programming, September 1998.

HB97

Paul Hoogendijk and Roland Backhouse.
When do datatypes commute?
In Category Theory and Computer Science, volume 1290 of LNCS, pages 242-260, 1997.

HdM00

Paul Hoogendijk and Oege de Moor.
Container types categorically.
Journal of Functional Programming, 10(2):191-225, 2000.

Hin00a

Ralf Hinze.
A new approach to generic functional programming.
In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'00, pages 119-132, 2000.

Hin00b

Ralf Hinze.
Polytypic values possess polykinded types.
In Mathematics of Program Construction, volume 1837 of LNCS, pages 2-27. Springer-Verlag, 2000.

HJ00

Ralf Hinze and Simon Peyton Jones.
Derivable type classes.
In Graham Hutton, editor, Proceedings of the Fourth Haskell Workshop, 2000.

Jan00

Patrik Jansson.
Functional Polytypic Programming.
PhD thesis, Computing Science, Chalmers University of Technology and Göteborg University, Sweden, May 2000.

Jeu95

J. Jeuring.
Polytypic pattern matching.
In FPCA'95, pages 238-248. ACM Press, 1995.

Lie96

Karl J. Lieberherr.
Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns.
PWS Publishing Company, Boston, 1996.
ISBN 0-534-94602-X.

LSLX94

K.J. Lieberherr, I. Silva-Lepe, and C. Xiao.
Adaptive object-oriented programming -- using graph-based customization.
Communications of the ACM, pages 94-101, 1994.

MBJ99

E Moggi, Bellè, and C.B. Jay.
Monads, shapely functors and traversals.
In M. Hoffman, Pavlovic, and P. Rosolini, editors, Proceedings of the Eighth Conference on Category Theory and Computer Science (CTCS'99), volume 24 of Electronic Lecture Notes in Computer Science, pages 265-286. Elsevier, 1999.

Mee92

L. Meertens.
Paramorphisms.
Formal Aspects of Computing, 4(5):413-425, 1992.

Mee96

L. Meertens.
Calculate polytypically!
In PLILP'96, volume 1140 of LNCS, pages 1-16. Springer-Verlag, 1996.

MFP91

E. Meijer, M.M. Fokkinga, and R. Paterson.
Functional programming with bananas, lenses, envelopes, and barbed wire.
In J. Hughes, editor, FPCA'91: Functional Programming Languages and Computer Architecture, volume 523 of LNCS, pages 124-144. Springer-Verlag, 1991.

MJ95

E. Meijer and J. Jeuring.
Merging monads and folds for functional programming.
In Advanced Functional Programming, AFP'95, volume 925 of LNCS, pages 228-266. Springer-Verlag, 1995.

PXL95

J. Palsberg, C. Xiao, and K. Lieberherr.
Efficient implementation of adaptive software.
ACM Transactions on Programming Languages and Systems, 17(2):264-292, 1995.

SF93

T. Sheard and L. Fegaras.
A fold for all seasons.
In Proceedings of the 6th ACM Conference on Functional Programming Languages and Computer Architecture FPCA '93, pages 233-242. ACM Press, June 93.