Lambda the Ultimate

A nice hack which makes use of several language features to create a fun programming experience (or "user inteface" if you want).

A Debugging Environment for Lazy Functional Languages

Abstract: This paper describes a new approach for debugging lazy functional languages. It rests on the fact that a functional program is the transformation of an expression; one debugs a program by investigating the syntactic form of the expression and by stopping the reduction process at given points. We show what problems are involved and our approach to solving them in a prototype implementation.

I remember there was a discussion of difficulties with lazy FPL debugging, and I didn't find a reference to this paper on LtU, so...

PS: beware, "a new approach" means around 96-99 :)

Reflection in logic, functional and object-oriented programming: a Short Comparative Study

Abstract: Reflection is a wide-ranging concept that has been studied independently in many different areas of science in general, and computer science in particular. Even in the sub-area of programming languages, it has been applied to different paradigms, especially the logic, functional and objectoriented ones. Partly because of different past influences, but also because researchers in these communities scarcely talk to each others, concepts have evolved separately...

Quite an old paper, but pretty interesting. And yes, it mentions reflective towers and Frege :)

We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations realizable as quantum gates.

Warning - it's a draft. From the Types Forum.