MLでYコンビネータを書く話なら、↓の最後にコードが載ってる
私には内容がさっぱり理解できないので、参考になるかどうかは分からんが

ttp://www.kurims.kyoto-u.ac.jp/~hassei/selfref2006.pdf