Brian Howard | DePauw University (original) (raw)
Uploads
Papers by Brian Howard
In \A synthesis of several sorting algorithms", Darlington showed how to use program transfo... more In \A synthesis of several sorting algorithms", Darlington showed how to use program transformation techniques to develop versions of six well-known sorting algorithms. We provide more evidence for the naturalness of the resulting taxonomy of algorithms by showing how it follows almost immediately from a consideration of the types of the objects involved. By exploiting the natural operations of iteration and coiteration over recursively dened data types, we may automatically derive the structure of each algorithm.
Bookmarks Related papers MentionsView impact
this paper was presented at California State University, Northridge. This work was partially supp... more this paper was presented at California State University, Northridge. This work was partially supported by a grant from the Office of Naval Research. References
Bookmarks Related papers MentionsView impact
An extension of the simply-typed lambda calculus is presented which contains both well- structure... more An extension of the simply-typed lambda calculus is presented which contains both well- structured inductive and coinductive types, and which also identifies a class of types for which general recursion is possible. The motivations for this work are certain natural constructions in category theory, in particular the notion of an algebraically bounded functor, due to Freyd. We propose that this is a particularly elegant language in which to work with recursive objects, since the potential for general recursion is contained in a single operator which interacts well with the facilities for bounded iteration and coiteration.
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Proceedings of the 1990 ACM conference …, Jan 1, 1990
Bookmarks Related papers MentionsView impact
Technical Reports (CIS), Jan 1, 1993
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Citeseer
Bookmarks Related papers MentionsView impact
1996 ACM SIGPLAN International Conference on …, Jan 1, 1996
Bookmarks Related papers MentionsView impact
ACM SIGPLAN Notices, Jan 1, 1996
Bookmarks Related papers MentionsView impact
Journal of Computing Sciences in Colleges, Jan 1, 2006
Bookmarks Related papers MentionsView impact
Higher order operational …, Jan 1, 1999
Bookmarks Related papers MentionsView impact
Algebraic Methodology and Software …, Jan 1, 2002
Bookmarks Related papers MentionsView impact
Citeseer
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
In \A synthesis of several sorting algorithms", Darlington showed how to use program transfo... more In \A synthesis of several sorting algorithms", Darlington showed how to use program transformation techniques to develop versions of six well-known sorting algorithms. We provide more evidence for the naturalness of the resulting taxonomy of algorithms by showing how it follows almost immediately from a consideration of the types of the objects involved. By exploiting the natural operations of iteration and coiteration over recursively dened data types, we may automatically derive the structure of each algorithm.
Bookmarks Related papers MentionsView impact
this paper was presented at California State University, Northridge. This work was partially supp... more this paper was presented at California State University, Northridge. This work was partially supported by a grant from the Office of Naval Research. References
Bookmarks Related papers MentionsView impact
An extension of the simply-typed lambda calculus is presented which contains both well- structure... more An extension of the simply-typed lambda calculus is presented which contains both well- structured inductive and coinductive types, and which also identifies a class of types for which general recursion is possible. The motivations for this work are certain natural constructions in category theory, in particular the notion of an algebraically bounded functor, due to Freyd. We propose that this is a particularly elegant language in which to work with recursive objects, since the potential for general recursion is contained in a single operator which interacts well with the facilities for bounded iteration and coiteration.
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Proceedings of the 1990 ACM conference …, Jan 1, 1990
Bookmarks Related papers MentionsView impact
Technical Reports (CIS), Jan 1, 1993
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Citeseer
Bookmarks Related papers MentionsView impact
1996 ACM SIGPLAN International Conference on …, Jan 1, 1996
Bookmarks Related papers MentionsView impact
ACM SIGPLAN Notices, Jan 1, 1996
Bookmarks Related papers MentionsView impact
Journal of Computing Sciences in Colleges, Jan 1, 2006
Bookmarks Related papers MentionsView impact
Higher order operational …, Jan 1, 1999
Bookmarks Related papers MentionsView impact
Algebraic Methodology and Software …, Jan 1, 2002
Bookmarks Related papers MentionsView impact
Citeseer
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact