Another Iteration on Darlington's "A Synthesis of Several Sorting Algorithms (1994)  (Make Corrections)  
Brian Howard

 @ NUS   Home/Search   Context   Related

 
View or download:
129.130.10.93/~schmidt/t...sorting.ps.Z
ksu.edu/~bhoward/ftp/sorting.ps.Z
Cached:  PS.gz  PS  PDF  Image  Update  Help

From:  129.130.10.93/~schmidt/techrep... (more)
From:  ksu.edu/~bhoward/papers
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: this paper was presented at California State University, Northridge. This work was partially supported by a grant from the Office of Naval Research. References (Update)

Active bibliography (related documents):   More   All
0.9:   Fixpoint Computations and Coiteration (Extended Abstract) - Howard   (Correct)
0.7:   Inductive, Coinductive, and Pointed Types - Howard (1996)   (Correct)
0.7:   A Logical Inverted Taxonomy of Sorting Algorithms - Merritt, Lau (1997)   (Correct)

Similar documents based on text:   More   All
0.1:   A Note on Synthesis and Classification of Sorting Algorithms - Lau (1989)   (Correct)
0.1:   Top-down Synthesis of Sorting Algorithms - Lau (1992)   (Correct)
0.1:   A summary for the application to the 1988 Alvey - Conference Peter Madden   (Correct)

BibTeX entry:   (Update)

@misc{ howard-another,
  author = "Brian Howard",
  title = "Another Iteration on Darlington's "A Synthesis of Several Sorting Algorithms"",
  url = "citeseer.comp.nus.edu.sg/104697.html" }
Citations (may not include all citations):
210   Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
50   A Categorical Programming Language (context) - Hagino - 1987
41   Inductive and coinductive types with iteration and recursion - Geuvers - 1992
40   Science of Computer Programming (context) - Smith, of et al. - 1985
39   A typed lambda calculus with categorical type constructors (context) - Hagino - 1987
27   A synthesis of several sorting algorithms (context) - Darlington - 1978
23   Recursive types and type constraints in second-order lambda .. (context) - Mendler - 1987
22   Constructive Foundations for Functional Languages (context) - Turner - 1991
16   Fixed Points and Extensionality in Typed Functional Programm.. - Howard - 1992
14   On program synthesis knowledge (context) - Green, Barstow - 1978
12   Program calculation properties of continuous algebras - Fokkinga, Meijer - 1991
10   Algorithm classification through synthesis (context) - Clark, Darlington - 1980
9   Algebraically compact functors (context) - Barr - 1992
6   Programming with inductive and co-inductive types - Greiner - 1992
4   Oregon Graduate Institute of Science and Technology (context) - Kieburtz, Technical - 1993
4   Department of Computer and Information Science (context) - Howard, projective et al. - 1993
4   Algorithm Synthesis: A Comparative Study (context) - Steier, Anderson - 1989
3   A synthesis of several sorting algorithms (context) - Barstow - 1980
2   An inverted taxonomy of sorting algorithms (context) - Merritt - 1985
1   A synthesis of several sorting algorithms (context) - Jacobs, Feather - 1988
1   Deductive synthesis of several sorting algorithms (context) - Traugott - 1986

Documents on the same site (http://129.130.10.93/~schmidt/techreport/ftppub/CIS/Howard/):   More
Operational and Axiomatic Semantics of PCF - Howard, Mitchell (1990)   (Correct)
Fixed Points and Extensionality in Typed Functional Programming.. - Howard (1992)   (Correct)
Inductive, Projective, and Retractive Types - Howard (1993)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST at NUS   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.