1. Carette, J., Kiselyov, O., Shan, C.-c.: Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. Journal of Functional Programming (2008) (in press)
2. Cussens, J.: Logic-based formalisms for statistical relational learning. In: [18], ch. 9, pp. 269–290 (2007)
3. Danvy, O., Filinski, A.: A functional abstraction of typed contexts. Tech. Rep. 89/12, DIKU, University of Copenhagen, Denmark (1989), http://www.daimi.au.dk/~danvy/Papers/fatc.ps.gz
4. Danvy, O., Filinski, A.: Abstracting control. In: Proceedings of the 1990 ACM conference on Lisp and functional programming, pp. 151–160. ACM Press, New York (1990)
5. Daumé III, H.: Hierarchical Bayes compiler (2007), http://www.cs.utah.edu/~hal/HBC/