Implementation of 2nd-order lambda to combinator conversion?

To: types@cis.upenn.edu
Subject: Implementation of 2nd-order lambda to combinator conversion?
From: Jo Erskine Hannay <johannay@simula.no>
Date: Mon, 22 Sep 2003 22:39:52 +0200
User-Agent: SEMI/1.13.7 (Awazu) CLIME/1.13.6 (=?ISO-2022-JP?B?GyRCQ2YbKEI=?= =?ISO-2022-JP?B?GyRCJU4+MRsoQg==?=) Emacs/20.7 (sparc-sun-solaris2.5.1) MULE/4.0 (HANANOEN)

Dear All,

Is anyone aware of a running (semi-)implementation of 2nd-order lambda terms
to (e.g. Bruce, Mitchell, Meyer) combinators? 

Regards,
Jo