Sorting morphisms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1608, Issue , 1999, Pages 1-27

  Augusteijn, Lex ^a  

^a PHILIPS RESEARCH LABORATORIES   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

SORTING;

DATA TYPE; DESIGN DECISIONS; FUNCTIONAL PROGRAMS; LIGHT WEIGHT; MORPHISMS; RECURSIONS; SORTING ALGORITHM;

FUNCTIONAL PROGRAMMING;

EID: 84956968165     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10704973_1     Document Type: Conference Paper

References (11)

1. Lex Augusteijn. Functional Programming, Program Transformations and Compiler Construction. PhD thesis, Eindhoven Technical University, October 1993.
2. R.S. Bird and O. de Moor. Algebra of Programming. Prentice-Hall, 1994.
3. K.L. Clark and J. Darlington. Algorithm classification through synthesis. The Computer Journal, 23(1):61-65, 1980.
4. Maarten M. Fokkinga. Law and order in algorithmics. PhD thesis, Twente University, 1992.
5. Michael L. Fredman, Robert Sedgewick, Daniel D. Sleator, and Robert E. Tarjan. The pairing heap: A new form of self-adjusting heap. Algorithmica, 1(1):111-129, 1986.
6. Paul Hudak, Philip Wadler, Arvind, Brian Boutel, Jon Fairbairn, Joseph Fasel, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Simon Peyton Jones, Mike Reeve, David Wise, and Jonathan Young. Report on the Programming Language Haskell, A Non-Strict, Purely Functional Language, Version 1.2. ACM SIGPLAN Notices, 27(5):Section R, 1992.
7. Mark P. Jones and John C. Peterson. Hugs 1.4 User Manual, November 1998. Included as part of the Hugs distribution, http://www.cs.nott.ac.uk/ mpj/hugs14/.
8. Donald E. Knuth. The Art of Computer Programming, volume 3. Addison-Wesley, 1973. Sorting and Searching.
9. Erik Meijer. Calculating Compilers. PhD thesis, Utrecht State University, Utrecht, the Netherlands, 1992.
10. Bruce W. Watson. Taxonomies and Toolkits of Regular Language Algorithms. PhD thesis, Eindhoven University of Technology, 1995.
11. Niklaus Wirth. Algorithms + Data Structures = Programs. Prentice Hall, 1976.