Brian Howard  @ NUS Home/Search
Context
Related
| 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 |
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.