- Caml http://caml.inria.fr/pub/ml-archives/caml-list/1999/02/a7fc1...
- C++ http://www.read.cs.ucla.edu/click/
- Cyclone http://cyclone.thelanguage.org/files/cyclone-drivers.pdf
- Pascal http://wiki.freepascal.org/linux/kernel/module_development
- Ada http://oopweb.com/Ada/Documents/AdaLinux/Volume/16.html
- Fortran, D (I'm just guessing, but these should be trivial)
... probably others too