From fast exponentiation to square matrices: An adventure in types

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 9, 1999, Pages 28-33

  Okasaki, Chris ^a  

^a Fu Foundation School of Engineering and Applied Science   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MATRIX ALGEBRA; PROGRAM COMPILERS;

BALANCED TREES; ERROR PRONES; EXPONENTIATION ALGORITHMS; EXPONENTIATIONS; HIGHER-ORDER; POLYMORPHIC RECURSION; SQUARE MATRICES; TYPE SYSTEMS;

FUNCTIONAL PROGRAMMING;

EID: 17144431956     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/317765.317781     Document Type: Article

References (11)

1. Richard S. Bird and Lambert Meertens. Nested datatypes. In Conference on Mathematics of Program Construction, volume 1422 of LNCS, June 1998.
2. Richard S. Bird and Ross Paterson. de Bruijn notation as a nested datatype. Journal of Functional Programming, To appear.
3. F. Warren Burton and John G. Kollias. Functional programming with quadtrees. IEEE Software, 6(1):90-97, January 1989.
4. Jeremy D. Frens and David S. Wise. Matrix inversion using quadtrees implemented in gofer. Technical Report 433, Computer Science Department, Indiana University, May 1995.
5. Fritz Henglein. Type inference with polymorphic recursion. ACM Transactions on Programming Languages and Systems, 15(2):253-289, April 1993.
6. Ralf Hinze. Polytypic functions over nested datatypes (extended abstract). In Latin-American Conference on Functional Programming, March 1999.
7. Anne Kaldewaij and Victor J. Dielissen. Leaf trees. Science of Computer Programming, 26(1-3):149-165, May 1996.
8. Chris Okasaki. Purely Functional Data Structures. Cambridge University Press, 1998.
9. Simon Peyton Jones et al. Haskell 98: A non-strict, purely functional language, http://haskell.org/onlinereport/, February 1999.
10. Hanan Samet. The quadtree and related hierarchical data structures. ACM Computing Surveys, 16(2):187-260, June 1984.
11. David S. Wise. Matrix algorithms using quadtrees. Technical Report 357, Computer Science Department, Indiana University, June 1992.