garbage collected forths

[Hendrik Boom]

The ancient archives of this mailing list contains a discussion "types and operators"
(Thu, 13 Jun 1996 10:59:04 -0400 (EDT)), which I found using Google.  Did any of the
proposals for a garbage-collected Forth ever see the light of day?  If so, it could
be an ideal platform to which to port some of the work I'm doing on program
transformation and verification.

-- hendrik