Author of the publication

From Fast Exponentiation to Square Matrices: An Adventure in Types.

. ICFP, page 28-35. ACM, (1999)SIGPLAN Notices 34(9), September 1999.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Safe-for-Space Threads in Standard ML., , , , and . High. Order Symb. Comput., 11 (2): 209-225 (1998)Catenable Double-Ended Queues.. ICFP, page 66-74. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Simple Confluently Persistent Catenable Lists (Extended Abstract)., , and . SWAT, volume 1432 of Lecture Notes in Computer Science, page 119-130. Springer, (1998)Call-by-Need and Continuation-Passing Style., , and . LISP Symb. Comput., 7 (1): 57-82 (1994)Alternatives to two classic data structures.. SIGCSE, page 162-165. ACM, (2005)The Role of Lazy Evaluation in Amortized Data Structures.. ICFP, page 62-72. ACM, (1996)SIGPLAN Notices 31(6), June 1996.Breadth-first numbering: lessons from a small exercise in algorithm design.. ICFP, page 131-136. ACM, (2000)SIGPLAN Notices 35(9), September 2000.From Fast Exponentiation to Square Matrices: An Adventure in Types.. ICFP, page 28-35. ACM, (1999)SIGPLAN Notices 34(9), September 1999.Purely Functional Random-Access Lists.. FPCA, page 86-95. ACM, (1995)Purely Functional Data Structures. Cambridge University Press, (1999)