Miscellaneous

Optimizing Generic Functions

A. Alimarine and S. Smetsers[D. Kozen (ed)] (INCOLLECTION, 2004)

Generic Functional Programming

A. Alimarine (PHDTHESIS, 2005)

Shallow Binding Makes Functional Arrays Fast

H. Baker (ARTICLE, 1991)

Type Systems

L. Cardelli (INBOOK, 1997)

The Generic Haskell User's Guide

D. Clarke and R. Hinze and J. Jeuring and A. Löh and J. de Witt (MANUAL, 2001)

Design Patterns: Elements of Reusable Object-Oriented Software

E. Gamma and R. Helm and R. Johnson and J. Vlissides (BOOK, 1994)

Copy Elimination in Functional Languages

K. Gopinath and J.L. Hennessy[ (ed)] (INPROCEEDINGS, 1989)

Implementing 3-dimensional FFT in the Functional Array Language SAC - A Case Study on Programming Methodology and Runtime Performance

C. Grelck and S.-B. Scholz[P. Thiemann (ed)] (INPROCEEDINGS, 2004)

An Eperimental Implementation of a Highly Abstract Model of Data Parallel Programming

J. Halen and P. Hammarlund and B. Lisper (TECHREPORT, 1997)

Rank and Uniformity

R. Hui (ARTICLE, 1995)

Programming in FISh

C.B. Jay (ARTICLE, 1999)

Partial Evaluation and Automatic Program Generation

N.D. Jones and C.K. Gomard and P. Sestoft (BOOK, 1993)

Lazy Imperative Programming

J. Launchbury[ (ed)] (INPROCEEDINGS, 1993)

Homomorphic Embedding for Online Termination

M. Leuschel (TECHREPORT, 1998)

An Array-Oriented (APL) Wish List

J. Lucas[ (ed)] (INPROCEEDINGS, 2001)

A Study of Transformational Semantics

P. Pepper[F. Bauer and M. Broy (ed)] (INCOLLECTION, 1979)

Coercion as Homomorphism: Type Inference in a System with Subtyping and Overloading

A. Shafarenko[ (ed)] (INPROCEEDINGS, 2002)

Computation on Graph-Like Expressions

J. Staples (ARTICLE, 1980)

Arrays in Blitz++

T.L. Veldhuizen[ (ed)] (INCOLLECTION, 1998)

C++ Templates as Partial Evaluation

T.L. Veldhuizen[O. Danvy (ed)] (INPROCEEDINGS, 1999)

A Loop Transformation Theory and An Algorithm to Maximize Parallelism

M. E. Wolf and M. S. Lam (ARTICLE, 1991)

Transforming Loops To Recursion for Multi-Level Memory Hierarchies

Q. Yi and V. Adve and K. Kennedy[ (ed)] (INPROCEEDINGS, 2000)