Structure and interpretation of classical mechanics

Numerical study of quantum resonances in chaotic scattering

Journal of Computational Physics

Structure and interpretation of quantum mechanics: a functional framework

Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell

A pedestrian's introduction to spacetime crystallography

IBM Journal of Research and Development

Expressive programs through presentation extension

Proceedings of the 6th international conference on Aspect-oriented software development

Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator

ACM Transactions on Programming Languages and Systems (TOPLAS)

Nesting forward-mode AD in a functional framework

Higher-Order and Symbolic Computation

Teaching and practicing computer science at the university level

ACM SIGCSE Bulletin

From parametricity to conservation laws, via Noether's theorem

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages